Semantics
The Semantics group is part of the
MIT LCS Theory of Computation Group
.
Academic Staff
Albert R. Meyer
(Project Leader)
Support Staff
David M. Jones
Graduate Students
Jakov Kucan
Daniele Micciancio
Visitors
Jens Palsberg
Peter Orbaek
dmjones@theory.lcs.mit.edu