I am a research assistant professor of cognitive science at RPI , and a research affiliate at MIT CSAIL. I received my PhD in computer science from MIT in 2000. Prior to that I received a master's degree in computer science, a master's in philosophy, and a bachelor's in computer science with a minor in philosophy (the latter from RPI, in 1993). My dissertation introduced denotational proof languages (DPLs). I also designed and implemented Athena . After my PhD I went to Manhattan briefly to work for a start-up. I returned to MIT and did a PostDoc for 2 years, first in the Dynamic Languages Group at the AI Lab, and then in the Program Analysis Group. I have been at RPI since 2003. I continue to do work at MIT, where I am now a research affiliate. My email is konstantine at alum.mit.edu.