Matthew Fluet

Ph.D. Candidate
Cornell University
Department of Computer Science

Phone (W):      +1 (607) 254-7465     +1 (617) 495-2489
Address:      4112 Upson Hall
Cornell University

Ithaca, NY 14853 USA
    307 Maxwell Dworkin
Harvard University
33 Oxford St.
Cambridge, MA 02138 USA

I am a Ph.D. student in the Department of Computer Science at Cornell University. My advisor is Greg Morrisett, who moved from Cornell University to Harvard University in January 2004.

I graduated with a B.S. in mathematics from Harvey Mudd College in 1999. My advisor was Arthur Benjamin.


Starting in Fall 2006, I will be a Research Assistant Professor at the Toyota Technological Institute at Chicago.

Job Search


My main research interests lie with programming languages, including type systems, semantics, and compiler technology. Currently, I am looking at applying substructural type systems to issues of memory management, state, and effects.

Professional Activities


  • I am an active developer of MLton: an open-source, whole-program, optimizing Standard ML compiler.

  • As a programming languages researcher, I am excited about the opportunities for mechanizing reasoning about programming languages. The POPLMark Challenge hopes to spark additional interest in this problem. As a result of discussions about the POPLMark Challenge, I have started using Twelf in my research, and I have collected a set of interesting examples.

  • I am a member of Triforce: the Programming Languages, Compilers, and Security Group at Harvard. I have the Mirror Shield .

  • I have been sitting in on Programming with Concurrency, a Fall 2005 course at Harvard. I even did a project on A Monadic Account of First-Class Synchronous Events.

  • I participate in Programming Wednesdays at Harvard, a weekly forum for informal talks on relevant and interesting topics in programming languages.

  • I participated in the Programming Languages Discussion Group at Cornell, another weekly forum for informal talks on relevant and interesting topics in programming languages.


Teaching Experience