Programming Languages at Harvard

The Programming Languages Group is composed of faculty and students at the School of Engineering and Applied Sciences who are interested in problems relating to programming language foundations, design, and implementation. Those topics include, but are not limited to

type systems
functional programming
compilation
optimization
security
semantics

Seminar Website (Fridays at 3pm in MD319)

The Spring 2010 seminar will be Wednesdays at 1pm

Mailing List

People

Faculty	Research Staff	Administrative Staff
Stephen Chong Greg Morrisett Mike Smith	Glenn Holloway	Susan Welby
Ph.D. Students	Post-docs	Recent Ph.D. Alumni
Kelly Heffner Mike Gagnon Paul Govereau Geoff Mainland Gregory Malecha Avi Shinnar Ryan Wisnesky	Adam Chlipala Matthieu Sozeau Jeff Vaughan	Joao Dias David Malan Kevin Redwine

Courses

Current	Previous
Fa 2009, CS 153: Compilers Fa 2009, CS 252r: Language-based Security and Concurrency Sp 2009, CS 51: Intro to CS II Sp 2009, CS 152: Programming Languages	Fa 2008, CS252: Certified Programming with Dependent Types Sp 2007, CS250r: Integrating Specification and Verification Sp 2006, CS256: Programming Languages and Semantics Fa 2006, CS252r: Advanced Functional Programming Fa 2005, Programming with Concurrency Sp 2005, CS256: Programming Languages and Semantics Sp 2004, CS255: Topics in Language-Based Security

Programming Languages at Harvard

Seminar Website (Fridays at 3pm in MD319)

Mailing List

People

Faculty

Research Staff

Administrative Staff

Ph.D. Students

Post-docs

Recent Ph.D. Alumni

Courses

Current

Previous

Research