Alessandro Coglio has been a Computer
Scientist at Kestrel Institute since 1998, working on formal methods
and
their application to Java. He has also been a Computer Scientist
at Kestrel Technology LLC since 2001, working on technology transfer.
Prior to joining Kestrel, Mr. Coglio was a Consulting Researcher
for the Department of Informatics, Systems, and Telecommunications
of University of Genoa (Italy), working on theorem proving,
Petri nets, discrete event systems, and artificial emotions.
Mr. Coglio received a Master degree in Computer Science Engineering
from University of Genoa in 1996. His thesis, in the field
of theorem proving, was in collaboration with Stanford University
(Palo Alto,
California), where he spent two months in 1996.
During his middle- and high-school years, one of Mr. Coglio's
pastimes was programming videogames in Assembly. |
