AYTEKIN VARGUN

Home
Research
...Code-Carrying Theory
...Generic Proof Writing
...Theorem Proving and Athena
...Concepts
...Publications
---------------------------------------
Teaching
...At RPI
...At Dokuz Eylul University
---------------------------------------
Job Application Material
...CV
...Teaching Statement
...Research Statement
---------------------------------------
Contact
varguna AT gmail DOT com






Current Status: I am currently looking for a new position. Please see my CV for more details.

Latest Position: Worked with prof. Badrinath Roysam to develop associative image analysis tools for mapping brain tissue. We were interested in using graph theoretic representations and graph query tools to describe spatial associations among different cell types and blood vessels in brain tissue. Check out our FARSIGHT Toolkit web pages for a quick introduction.

Education: I received my PhD degree in Computer Science from the Rensselaer Polytechnic Institute (RPI) in 2006 and my MS degree in Computer Science from the University of Colorado at Boulder in 1999. I have graduated with a computer science degree from the EGE Univesity in Turkey.

My research interests are:

  • Secure delivery of code
  • Software safety and correctness
  • Formal verification and specification of software
  • Program synthesis
  • Generic programming
  • Machine readable generic and non-generic proof writing
  • Construction of generic proof libraries
  • Proof-Carrying Code (PCC)
  • Programming languages, theorem proving, and parallel computing, in general