Programming Languages Lab

People

For valid email addresses append whatToAppend after the word following the persons name.

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

Current Post-Doc

  • Pavel Hrubes (phrubes)

Recent Post-Docs

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 whatToAppend) Restriction and Range Restriction Categories
Masuka Yeasin (myeasin) Theory of datatypes

Past Members


[ Home | Events | People | Publications | Projects ]