PRL: Photo Gallery

Faculty

	William D. Clinger (web page) He's from Texas (BS, 1975) but served time in Massachusetts (PhD, MIT, 1981; 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 (web page) 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 (web page) 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.
	Panagiotis (Pete) Manolios (web page)
	Viera K. Proulx (web page) 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.
	Riccardo Pucella (web page) 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.
	Olin Shivers (web page)
	Mitchell Wand (web page) 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 play jazz piano and dote on my twin granddaughters.

Research Scientists

Eli Barzilay (web page)

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.

Students

	Bryan D. Chadwick (web page) I received my Masters from Northeastern in 2005 and continued on, joining PRL later that year under Karl Lieberherr. I'm interested in most things PL, but am currently looking at merging various ideas from functional programming with those of Object Oriented data structure traversals.
	Benjamin J. Chambers I am a first-year PhD student interested especially in functional languages and program analyses, but at this point I'm pretty much open to anything in PL. I did my undergraduate at Georgia Tech, where I discovered my interest in PL after taking a course in compilers. In my free time I enjoy reading books and am trying to learn to play Jazz piano (although I'm afraid I don't actually have enough free time to do that).
	Richard C. Cobbe (web page) I'm a sixth-year PhD student working with Matthias Felleisen, and I hope to defend my thesis at the end of summer 2008. My thesis research involves proposing changes to Java that remove the need for its "null" value by providing safer alternatives. Specifically, Java programmers use null in two primary ways: to indicate that a field (local variable, etc.) is uninitialized, and as a rough encoding of the ML OPTION type. I intend to address these uses by proposing a new object initialization mechanism that removes the need for uninitialized values and by adding a safer two-way disjoint union to the language.
	Ryan Culpepper (web page) 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 (web page) 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").
	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 (web page) 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.
	Jingsong Feng A second-year student in the programming languages group. In 2003 I got my master degree in Linkoping university in Sweden, then worked one year in China as a software engineer before coming to Northeastern. Now I am working with professor Karl Lieberherr on Aspect-oriented Software Development related technologies. In my spare time, I like travel, watching movies, playing online card games, and cooking.
	Christine Hang (web page) I am a third-year PhD student from Beijing and Grand Rapids, Michigan. I am interested in PL, especially domain specific languages, and I've always wanted to solve hard problems in other fields via PL. Aside from school, I enjoy traveling, reading, swimming, photography and collecting scarves.
	Dave Herman (web page) I've been a PhD student long enough not to want to tell you what year I am. I split my personalities between working with Prof. Wand on the theory of hygienic macros and working on the Ecma TG1 committee designing and specifying the next version of JavaScript.
	Felix Klock (web page) 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.
	Sergei Kojarski I am a fourth-year PhD student. I came from Perm, Russia. My CS interests are in the PL field, particularly in the Object-Oriented area. Besides that I like to read classic literature and just have fun with my friends...
	Vassilis Koutavas (web page) I'm a Ph.D. student in PRL since 2003, and I will probably graduate in 2008. I'm working with Mitch Wand on reasoning about higher-order and imperative programs. Before coming to Boston I was living in Greece, where I got my undergraduate degree from the National Technical University of Athens. When I have the chance, I like traveling, swimming, reading a good book, watching movies, and playing with unix.
	Fabio Rojas (web page) Fabio Rojas is a PhD student. He works with Prof Clinger on Garbage Collection and Macro Expansion.
	Theo Skotiniotis (web page) I joined Northeastern in 2001, and I am currently working 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 (web page) After spending six years at Georgia Tech as both an undergrad and a grad student I came to Northeastern in 2004 for a change in scenery and to pursue a PhD degree. I took a break for a couple of years to work in industry after my first year, so I'm currently a second year student. My research interests in the area of programming languages include efficiently implementing functional languages and type theory, and I'm currently doing research for Matthias Felleisen.
	Sam Tobin-Hochstadt (web page)
	Aaron J. Turon (web page) I'm a first-year PhD student in the PRL. Interests in PL semantics, type theory, and logic. Outside of CS, I write music (electronica), read novels, watch movies, and sometimes talk philosophy. I am happily married and have two cats.
	Jesse Tov (web page)
	Dimitris Vardoulakis (web page) 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.
	Pengcheng Wu (web page) PhD student in computer science, working on programming languages and software engineering, especially on Object/Aspect-oriented Software Development technologies.
	Feng Zhou I am first year graduate student in PRL. My mentor is Will Clinger. I am interested in most aspects of programming language research. I also like reading books, doing sports.

Alumni

Philippe Meunier (web page)

I spend most of my time in a faraway office chasing geckos with a butterfly net. I also occasionaly entertain myself by chasing students. Most of the students are too big for my butterfly net though, so I have to use a red pen instead, which is much harder. Fortunately the students do not move as fast as the geckos. All my other activities are classified, but I'll still tell you if you ask me nicely because I really love you. I used to have a rubber ducky named Bernard but it was impounded by a jealous Customs official.

John Brinckerhoff Clements (web page)

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.

Former Members

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.

Kenichi Asai (web page)

I am visiting Mitch's group for a year until the end of February 2005. I am interested in partial evaluation, reflection, continuations, etc. On leave from Ochanomizu University, Tokyo, Japan. My web page there.