Stefan Muller

6004 Gates-Hillman Center
Computer Science Department
Carnegie Mellon University

(first initial) (last name) (at) cs (dot) cmu (dot) edu

Stefan Muller

Research and Teaching  |   Personal  |   Home


I'm a postdoc working with Jan Hoffmann in the Computer Science Department at Carnegie Mellon. My research is on cost analyses for safe reinforcement learning systems. My main area of research is programming languages, but my interests have touched on algorithms and systems as well.

In September 2018, I completed my PhD (also at Carnegie Mellon), supervised by Umut Acar. My thesis focused on language design for parallel programs, including type systems, cost semantics and scheduling algorithms.