Biography
Matthew Fluet is an Assistant Professor in the Department of Computer
Science at the Rochester Institute of Technology. He received his
Ph.D. in Computer Science from Cornell University. 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.
Dr. Fluet's main research interests lie with the design and
implementation of programming languages, particularly compiler
technology, concurrency and parallelism, type systems, and program
semantics. 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 functional programming language to exploit
next generation multicore computer systems. He has also begun to
explore high-level concurrency programming, leading to the development
of a novel abstraction, dubbed transactional events, which combines
first-class synchronous message-passing events with all-or-nothing
transactions. Finally, he continues to lead 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.
Balancing formal theory and practical implementation is a principle
that Dr. Fluet plans to continue to practice in his future research
endeavors.
Dr. Matthew Fluet
Assistant Professor
Research Areas
Programming languages
Compilers
Parallelism
Type systems
