Stefan K. Muller

Stefan K. Muller is an Assistant Professor in the Computer Science Department at Illinois Institute of Technology. His research focuses on applying programming language techniques to improve correctness and efficiency in parallel computing, with applications spanning AI, computer science education, and systems design. He earned his PhD at Carnegie Mellon University (2018) under Umut A. Acar, following a postdoc there (2018–20), and holds an AB in Computer Science from Harvard University (2012).

• PhD, Carnegie Mellon University (2018)
• Postdoc, Carnegie Mellon University (2018–20)
• AB, Harvard University (2012)

Stefan’s work integrates type systems, static resource analysis, and concurrency to address challenges in parallelism. His recent projects include Graph Types for language-agnostic parallel computation analysis, Responsive Parallelism models for interactive systems, and Resource-aware GPU Programming tools. He has contributed to conferences like POPL, PLDI, ICFP, and SPLASH, often focusing on deadlock detection, futures-based parallelism, and efficient compiler optimizations.

His publications (2012–2024) emphasize formal methods for parallel systems. Key trends include type-driven concurrency, static analysis of GPU programs, and responsive scheduling for interactive applications. He mentors students in programming language theory and parallel computing, with former advisees now at institutions like Apple, Amazon, and UPenn.

Stefan’s teaching includes courses on Types and Programming Languages (CS534), Science of Programming (CS536), and Compiler Construction (CS443). Outside academia, he is a homebrewer, runner, and singer, with a Bacon number of 2 and Erdős number of 4.