Dr. Matthew Fluet
Matthew Fluet is an Associate Professor in the Department of Computer Science at the Rochester Institute of Technology. He received his Ph.D. in Computer Science from Cornell University (2006). During his graduate studies, he had the opportunity to spend two and a half years visiting the Computer Science department at Harvard University. Prior to joining RIT, he spent three years as a Research Assistant Professor at the Toyota Technological Institute at Chicago (2006-2009).
Dr. Fluet's goal is to design and implement programming languages that make it easy to write programs that are both executed efficiently and guaranteed to be safe, which he pursues through research in functional programming, compiler construction, parallelism and concurrency, type systems, and program analysis.
His thesis work focused on type systems for and applications of region-based memory management, a particular scheme for managing dynamically allocated data. With colleagues at the University of Chicago, he leads the Manticore project, an effort to design and implement a new parallel and concurrent functional programming language to exploit next generation multicore computer systems. He leads 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.
- Programming Languages
- Functional Programming
- Compiler Construction
- Parallelism and Concurrency
- Type Systems
- Program Analysis
Courses Regularly Taught
- CSCI-344 Programming Language Concepts
- CSCI-740 Programming Language Theory
- CSCI-742 Compiler Construction