Faculty - Dr. Matthew Fluet
PhD - Cornell University
Research Assistant Professor
Dr. Fluet received his B.S. in Mathematics in 1999 from Harvey Mudd College (Claremont, CA). He went on to receive his Ph.D. in Computer Science in 2006 from Cornell University (Ithaca, NY). During his graduate studies, he had the opportunity to spend two and a half years visiting the Computer Science department at Harvard University (Cambridge, MA).
Dr. Fluet's main research interests lie with the design and implementation of programming languages, particularly type systems, program semantics, and compiler technology. His thesis work focused on type systems for and applications of region-based memory management, a particular scheme for managing dynamically allocated data. More recently, he has begun to explore high-level concurrency programming, leading to the development of a novel concurrency abstraction, dubbed transactional events, which combines first-class synchronous message-passing events with all-or-nothing transactions. Finally, he continues to collaborate on the development of MLton, a whole-program optimizing compiler for Standard ML; he is particularly interested in understanding how MLton's compilation model can be extended to richer input languages without sacrificing performance.
Dr. Fluet also has a personally maintained website which can be found at http://www.tti-c.org/fluet