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 year grad student working with Umut Acar in the Computer Science Department at Carnegie Mellon University. My research is primarily in the semantics and efficient implementation of interactive(/reactive) programs, though my broad interests span programming language and computer science more generally.

Prior to this, in spring 2012, I graduated from Harvard University with an AB in computer science and a secondary field in physics (translation: BA and minor, respectively). My senior thesis on information flow control was supervised by Stephen Chong.