I am now at
Office: A.V.Williams Building, Room 4132
Computer Science Department
University of Maryland
Office Phone: (301)-405-2722
I graduated in 2008 and moved to
for a postdoc, so this page is probably outdated.
Here are my
and a list of my
I am working with
Prof. Mike Hicks
Prof. Jeff Foster
. I am working on the following research projects:
: A tool for finding races in C programs.
of the contextual effects soundness proofs in the Coq theorem prover.
Programming Languages Group
Last updated on Sun Mar 2 20:46:47 2008
(c) Copyright Πολυβιος Πρατικακης