Students and RAs, past and present
-
Steve Cooper
was a PhD student of mine when I was at Syracuse.
His thesis (1997) was
On linear types and imperative update.
-
Paul Levy
finished his thesis, Call by Push-Value, in 2001.
He is now a lecturer at Birmingham.
-
Hayo Thielecke worked with me as an RA from 1997-2000,
during which time he awakened me from my dogmatic slumbers,
making me appreciate C and systems programming.
He is now a lecturer at Birmingham.
-
Cristiano Calcagno
did a
PhD in 2001
on
pointers, regions, and other hard aspects of the theory of storage. He split
his time between QM and Genoa, where his advisor was
Eugenio Moggi.
Cris then moved to Imperial, first as
Philippa Gardner's RA
and now on an EPSRC Advanced Fellowship.
He was, with Josh, the main guy behind the
Smallfoot tool.
-
Josh Berdine
finished his thesis on linearty and continuations in 2004.
He went to CMU for a while, came back to QM to work as an RA,
and then joined Microsoft Research Cambridge in
December 2005. Josh was, with Cris, the main guy behind the
Smallfoot tool.
-
Dino Distefano
is a current RA. He hacked the first version of SpaceInvader (TACAS'06 paper), and that gave
us a lot of momentum for other things,
including termination analysis, a malloc analysis, and more to come.
See the
SpaceInvader Blog
that Dino maintains.
-
Ivana Mijajlovic
is a finishing PhD student working on separation and refinement.
-
Aziem Chawdhary
,
Akbar Hussein
, and
Abhishek Thakur
started their PhD studies in October of 2005.
Some Colleagues