Photo gallery

Faculty

	William D. Clinger He's from Texas (BS, 1975) but served time in Massachusetts (PhD, MIT, 1981, and at Northeastern since 1994). Collects garbage and lifts lambdas. Plays guitar, sings with little provocation, and has performed country and western tonal music.
	Matthias Felleisen For the past 25 years, I have lived in Arizona, Indiana, Pennsylvania, and Texas. My PhD is from Dan Friedman (1987), and I also wrote a number of Little books with him. With my own PhD students, I authored How to Design Programs and started the DrScheme project. In 2001, my entire team and I moved to Boston to create PRL with Will, Mitch, and Karl.
	Karl Lieberherr Karl Lieberherr got his PhD in Switzerland and he likes mountains, lakes and yoga. He likes shy programming, be it structure-shy, concern-shy, or module-shy.
	Pete Manolios
	Viera K. Proulx I got my Ph.D. from Columbia University in 1977, and I've been at Northeastern ever since. I've always liked languages - whether programming or native or foreign - and recently joined the PL group. I am especially interested in teaching program design and creating artifacts to support learning. In my spare time I like mountains - to climb and ski, water to swim in and paddle on, and music of many kinds.
	Olin Shivers
	Mitchell Wand I got my Ph.D. from MIT in 1973, and I've been at Northeastern since 1985. When I'm not thinking about programming languages or other CS-related things, I spend my time worrying about CS5010.

Research Scientists

Eli Barzilay

He is Israeli by nature, a member of PLT by association. Eli maintains a major part of PLT's infrastructure, conducts research on language prototyping, and occasionally teaches a course for the College.

Post-Docs

David Van Horn

I am a native Texan and CRA Computing Innovation Fellow, working with Matthias, Mitch, Olin, and the rest of the PRL. I am interested in the design, implementation, and use of programming languages. In particular, my research has focused on the analysis of higher-order programs and its complexity. I have proved novel upper and lower bounds for a number of important program analyses and used these insights to design better program analyzers.

Sam Tobin-Hochstadt

Students

	Christos Dimoulas 'Would you tell me, please, which way I ought to go from here?' 'That depends a good deal on where you want to get to.' 'I don't know where. . .' 'Then it doesn't matter which way you go.' said the Cat. -- Alice in Wonderland, Lewis Carroll
	Carl Eastlund A third-year student in the languages group, I graduated with a CS degree from CMU in '01 and worked a couple years in industry before coming here. My interests lie mostly in static analysis and functional software design. Outside school, I enjoy kung fu, card games and board games, and geeky fiction genres.
	Tony Garnock-Jones
	J. Ian Johnson I work on developing methods for (developing methods for) proving and discovering properties about programs. This includes term rewriting, type systems and program analyses (and linguistic abstractions for implementing these methods).
	Jonathan Schuster I joined the PRL in 2011 after working for four years at a software consulting company in Chicago. My research interests generally focus around giving developers tools to make writing software easier, but I'm still looking for a more specific focus. In my spare time, I enjoy cooking, reading, and exploring Boston (often on my bike).
	Vincent St-Amour I joined the PRL in 2009 after getting my undergraduate degree in Montreal. I am currently working with Matthias Felleisen and Sam Tobin-Hochstadt on Typed Racket. I'm interested in compilers, functional programming and parentheses.
	Paul Stansifer I am working with Mitch on macros that can extend the underlying syntax of their language. I like cookies. And burritos.
	Asumu Takikawa An Oregonian by nature, Japanese by nationality, Canadian by education, and a PhD student by trade. My BSc was in CS and Math from UBC. My interests are type systems and functional programming. In my spare time I read novels and build transit-oriented cities in SimCity.
	Aaron J. Turon At the moment my interests mostly revolve around parallelism: how to enable it, and how to make sure you're doing so safely. Happily, tackling those issues involves systems, language design, semantics, logic, and verification. I joined the lab in 2007 and work with Mitch.
	Dimitris Vardoulakis I'm from Crete, Greece. I've been at Northeastern since 2005. I'm working with Olin Shivers on various static analyses and compiler optimizations for functional languages.

Alumni

	Bryan D. Chadwick I received my Masters from Northeastern in 2005 and joined PRL later that year under Karl Lieberherr. I'm interested in most things PL, but am currently looking at merging ideas from generic functional programming with those of Object-Oriented data structure traversals.
	John Brinckerhoff Clements I have a family and a house and an hourglass on my desk. I will gladly tackle questions on functional programming, debugging, annotation, and macros. The rest of the questions you should ask someone else.
	Richard Cobbe I received my PhD in January, 2009. My thesis research proposed two changes to Java that remove the need for its "null" value by providing safer alternatives. Specifically, Java programs use null in two primary ways: to indicate that a field is uninitialized, and as a rough encoding of the ML OPTION type. My changes include a new object initialization mechanism that guarantees that all fields are initialized before their use and a safer two-way disjoint union to represent OPTION.
	Ryan Culpepper Born in Houston, TX, left, went back to go to Rice University. Interested in PL and compilers. I read during the summer and play table tennis during the winter. I'm still looking for someone up here who has heard of disc golf.
	Peter Dillinger B.S., M.S., and doctoral work in Computer Science at Georgia Tech from 1999 through 2007. I came to Northeastern in 2007 with advisor Pete Manolios. My broad interests include tools and techniques for development of correct systems. Specifically, I have made contributions to explicit-state model checkers including Spin, Murphi, and Java Pathfinder. I have also written a development environment for the ACL2 theorem prover called ACL2s (for "ACL2 Sedan").
	Dave Herman My dissertation was an exploration of the theoretical foundations of hygienic macro expansion. During grad school, I also started working on the Ecma TC39 committee designing and specifying the JavaScript programming language. I now work full-time at Mozilla as a programming language designer and implementor, and continue my work with TC39 on JavaScript.
	Felix Klock I am a fifth-year Ph.D. student. My background is mostly in compiler technology, e.g. dataflow analysis and register allocation. I currently work with Will Clinger on garbage collection of large heaps with hard asymptotic bounds on space and soft bounds on pause times. I am also a Larceny developer; I have contributed to the development of Common Larceny, the Larceny x86 code generator, and the Larceny runtime.
	Vassilis Koutavas I have spent five of my favorite years in PRL, where I studied the theory of programming languages. My advisor was Mitch Wand with whom I worked on reasoning about higher-order and imperative programs.
	Theo Skotiniotis I joined Northeastern in 2001, and I worked with Prof. Lieberherr. Interests ... I used to have a list of them written on a piece of paper on my desk, but I cannot find it right now!
	Stevie Strickland I came to Northeastern in 2004, and after my first year here, I took leave for industrial work in the area of network security. I then returned to the PRL in 2007. My research is focused on extending contract systems like the one in Racket to cover features like first-class modules, first-class classes, and values like vectors and objects that contain mutable state. I've also done work on appropriate type systems for language features like Scheme's variable-arity map and apply.
	Jesse A. Tov I joined the PRL in 2005 and worked with Riccardo Pucella. I graduated in 2012 and currently work as a postdoctoral fellow at Harvard.
	Pengcheng Wu PhD student in computer science, worked on programming languages and software engineering, especially on Object/Aspect-oriented Software Development technologies.

Former Members

	Kenichi Asai I was visiting Mitch's group for a year until the end of February 2005. I am interested in partial evaluation, reflection, continuations, etc.
	Joe Marshall I was born the son of a poor black sharecropper. My fathers family name being Marshall, and my christian name Joseph, my infant tongue could make of both names nothing longer or more explicit than Joseph Marshall. So, I called myself Joseph Marshall, and came to be called Joseph Marshall. Some years ago --- never mind how long precisely --- having little or no money in my purse and nothing particular to interest me on shore, I thought I would sail about a little and see the watery part of the world.
	Riccardo Pucella I hail from Rimouski (Quebec, Canada), which is as unlike Texas as you can imagine, and yet very much like Texas at the same time. After studying at McGill University and Cornell University, and putting in some time at Bell Labs and Microsoft Research, I joined the PRL group in 2005. I tend to research topics in logic, type systems, and semantics.