software design group

Greg Dennis is a PhD candidate in the Software Design Group. He received his S.B. from MIT (2002) in Computer Science and his M.Eng. from MIT (2003) in Computer Science.

He is currently developing techniques to check the conformance of object-oriented code to rich interface specifications. A member of SDG since his undergraduate years, his past research has included the study of air-traffic control systems, the design of a radiation therapy machine, and contributions to the Alloy modeling language.

email: gdennis@mit.edu
url: http://www.gregdennis.com/