Ozan Hafizogullari's Home Page
Address
Ozan Hafizogullari
Department of Computer Science
Cornell University
Ithaca
, NY 14853
USA
e-mail:
ozan@cs.cornell.edu
tel: (607) 273 6463
I am a PhD student with the
NuPrl group.
Research Interests
Extended Static Checking
Program analysis and its applications in program verification, compilers and software engineering.
Resume
html
,
postscript
,
pdf
.