People

Compilers and Tools Group

Faculty

• Dr. John Aycock (aycock)

  Note: John's research has shifted to computer security, and he is no longer looking for students in programming languages, sorry!

Past Members

• Georges Jodoin
• Victor Liu
• David Pereira
• Erik Reid, 1981-2004
• Kelly Wilson
• Margaret Nielsen

Foundations Group

Faculty

• Robin Cockett (robin)

Current Post-Doc

• Pavel Hrubes (phrubes)

Recent Post-Docs

• Brian Redmond
• Geoff Cruttwell (gscruttw)

Graduate Students

Student	Interest Area
Subashis Chakraborty (schakr)	Concurrent Categorical Abstract Machine.
Jonathan Gallagher (jdgallag)
Brett Giles (brett.giles)	Quantum and Reversible programming language semantics
Xiuzhan Guo (guox) (append )	Restriction and Range Restriction Categories
Masuka Yeasin (myeasin)	Theory of datatypes

Past Members

• Mike Burrell
• Jeff Green
• Craig Pastro
• Sean Nichols
• Luigi Santocanale (en français) (or in English).
• Dana Harrington
• Keith Rogers
• Min Zeng
• Ning Tang