OZAN HAFIZOGULLARI
PHONE (607) 273-6463 • E-MAIL OZAN@CS.CORNELL.EDU

EDUCATION
 
8/94 - 5/00 Cornell University Ithaca, NY

Ph.D. in Computer Science
  • Thesis:       Program Analysis Through Type Inference

M.S. in Computer Science

8/89 - 5/94 Middle East Technical University Ankara, Turkey

B.Eng. in Electrical Engineering, Summa Cum Laude

B.S. in Mathematics, Summa Cum Laude
HONORS AND ACHIEVEMENTS
 
1994 B.Eng. Thesis: ``Implementation of an Imperative Programming Language Using its Denotational Semantics''
1993 Control Theory Project: ``Design of a Compensator Using H-infinity methods''
1991 Full Scholarship to attend the NATO Advanced Study Institute's Marktoberdorf Summer School on ``Logic and Algebra of Specification''
1988 Third Prize in the International Mathematics Olympiad: Canberra, Australia. Obtained the highest score in the Turkish team.
1988 First Prize in the Turkish Mathematics Competition organized by the Science and Technology Foundation of Turkey, TUBITAK.
1987 Member of the Turkish team for the 1987 International Mathematics Olympiad: Havana, Cuba (1987).
1987 Second Prize in the Turkish Mathematics Competition organized by TUBITAK.
1987 Second Prize in the Turkish Physics Competition organized by TUBITAK.
1985 First Prize in the Turkish Mathematics Competition among Junior High School Students organized by TUBITAK.
WORK EXPERIENCE
 
1994-2000 Department of Computer Science, Cornell University, Ithaca, NY

  • Research Assistant

    Research interests: Compilers, Programming Languages, Software Engineering, Automated and interactive tools for reasoning about computer systems, Hardware Verification.

  • Teaching Assistant

    Courses: ``Compilers'', ``Numerical Analysis'', ``Logic and Discrete Mathematics for Computer Science'', ``Fundamental Concepts of Computer Science''. Held recitations, helped in writing and grading problem sets and exams.
1991 International Mathematics Olympiads, Preparation Camps Ankara and Canakkale, Turkey

Assistant instructor
  • Held recitations, provided mentorship. Organization was by TUBITAK.
COURSES
 
Computer Science
  • Advanced Programming Languages, Analysis of Algorithms, Concurrent Programming, Computer Vision, Theory of Computing, Matrix Computations, Introduction to Automated Reasoning, Operating Systems, Microprocessors, Data Structures, Digital Design.
Electrical Engineering
  • Signal Processing, Digital Signal Processing, Control Theory, Non-linear Control Theory, Digital Control, Process Control I,II, Analogue Electronics, Digital Electronics, Engineering Economics, Electromagnetics I,II,III.
Mathematics
  • Analysis I,II, Algebra I,II,III, Topology, Differential Geometry.
SKILLS
 
Programming Languages
  • C, C++, Java, Fortran, Assembly, SQL, Matlab, Pascal, Prolog, Dylan (Object-Oriented Lisp), SML, Haskell, Basic.
Operating Systems:
  • Windows 3.1/ 95/ NT, UNIX, MacOS, MS-DOS.
Languages:
  • Turkish (native language), fluent in English and German. Passed the ``Advanced Level Examination'' of the Goethe Institute.
Other:
  • One year as an exchange student in Kulmbach, Germany. Stayed with a German family and took 12th grade courses.
  • Interests: Running, swimming, theater, cinema.