People

• Samson Abramsky
• Anindya Banerjee
• Ilaria Castellani
• Matthew Dwyer
• Peter Dybjer
• Christian Haack
• Robert Harper
• John Hatcliff
• Matthew Hennessy
• Rodney Howell
• Radha Jagadeesan
• Alan Jeffrey
• Dexter Kozen
• Dave MacQueen
• Luke Ong
• Benjamin Pierce
• Andrew Pitts
• Gordon Plotkin
• John Reppy
• David Schmidt
• Peter Selinger
• Philip Wadler