معرفی
Matthew Fluet is an Associate Professor and Graduate Program Director in the Department of Computer Science at Rochester Institute of Technology's Golisano College of Computing and Information Sciences. He received his PhD in Computer Science from Cornell University and his BS in Mathematics from Harvey Mudd College. Prior to joining RIT, he was a research assistant professor at the Toyota Technological Institute at Chicago.
Dr. Fluet's research focuses on programming languages, with particular emphasis on:
- Functional programming
- Compiler construction
- Program analysis
- Type systems
- Parallelism and concurrency
His research has resulted in several significant projects including Manticore (a heterogeneous-parallel functional programming language), MaPLe/MPL (a functional language for provably efficient and safe multicore parallelism), and contributions to MLton (a whole-program optimizing Standard ML compiler). His work is supported by multiple National Science Foundation grants.
Dr. Fluet has published extensively in top programming languages conferences including ICFP, POPL, PLDI, and PPoPP. His recent work focuses on automatic parallelism management, type-and control-flow analysis, and memory management for parallel systems, demonstrating a consistent research trajectory in making parallel programming safer and more accessible through language design.
His notable research grants include:
- National Science Foundation (CISE Research Infrastructure): $224,329 (2014-2017)
- National Science Foundation (Software and Hardware Foundations): $236,744 (2014-2018)
- National Science Foundation: $412,261 (2011-2014)
- National Science Foundation: $91,867 (2008-2012)
Dr. Fluet actively mentors graduate students, currently advising several MS project and thesis students. He teaches courses including Programming Skills (with focus on Rust), Compiler Construction, and Programming Language Concepts. He also serves in leadership roles including as Graduate Program Director for the Computer Science MS program and participates in departmental governance through the CS Curriculum Committee and GCCIS Curriculum Committee.
He is an active member of the programming languages community, having served on program committees for major conferences and as Information Director for ACM SIGPLAN (2015-2018), demonstrating his commitment to advancing the field through research, education, and community service.
Matthew Fluet در سایتهای دیگر
جستوجوهای مرتبط
شاید اینها هم برایتان مناسب باشند
- MMatthew FluetMax Planck Institute for Software Systems · استادیار
Keshav PingaliUniversity of Texas at Austin · استاد
Amal AhmedNational and Kapodistrian University of Athens · استاد
Samuel P. MidkiffPurdue University · استاد
Gabriele KellerUtrecht University · استاد
Michelle StroutMax Planck Institute for Software Systems · استاد