GREG DENNIS

I was formerly a PhD student at MIT in the Department of Electrical Engineering and Computer Science, and a member of the Software Design Group in the Computer Science and Artificial Intelligence Laboratory. At MIT, I developed techniques to check the conformance of object-oriented code to rich interface specifications. My prior research included the study of air-traffic control systems, the design of a radiation therapy machine, and contributions to the Alloy modeling language.