I am now at FORTH. Redirecting...

Polyvios Pratikakis

outdated picture

PhD Student

Office: A.V.Williams Building, Room 4132
Computer Science Department
University of Maryland

Office Phone: (301)-405-2722
Email: [polyvios at cs dot umd dot edu]

I graduated in 2008 and moved to VERIMAG for a postdoc, so this page is probably outdated.

Here are my CV, my Research statement and a list of my publications.

Research

I am working with Prof. Mike Hicks and Prof. Jeff Foster. I am working on the following research projects:

Locksmith: A tool for finding races in C programs.
The mechanization of the contextual effects soundness proofs in the Coq theorem prover.

Teaching

TA for CMSC424 in Fall2002.
TA for CMSC424 in Spring2003.

Polyvios Pratikakis

Research

Teaching

Links