Stefan K. Muller
Assistant Professor
ITE Building 463
School of Computing
College of Engineering
371 Fairfield Way, Unit 4155
University of Connecticut
Storrs, CT
I'm an assistant professor in the School of Computing at University of Connecticut. My research broadly aims to use programming language techniques to make it easier to write correct and efficient software in many application domains, especially parallel computing. While the techniques I use to solve these problems are primarily drawn from PL, my interests have touched on algorithm design and computer systems as well. My interest in application domains spans from AI to computer science education.
Interests:
- Language and type system design
- Static resource analysis
- Parallel computing
Before UConn:
- Assistant Professor, Illinois Institute of Technology, 2020-25
- Postdoc Carnegie Mellon University 2018-20
Advisor: Jan Hoffmann - PhD Carnegie Mellon University 2018
Advisor: Umut A. Acar - AB Harvard University 2012
Advisor: Stephen Chong
Github
Google Scholar
DBLP
MGPResearch
Graph Types
Statically approximate the dependency structure of a parallel program,
and use this approximation to construct efficient and
language-agnostic analyses for important properties of parallel
programs.
Responsive Parallelism
Extend elegant models of parallel software to account for important
features of interactive programs such as responsiveness and priority.
Resource-aware GPU Programming
Develop tools and analyses to help programmers write more robust,
efficient General-Purpose GPU programs.
Students and Researchers
Current
- Godha Pallavi Bhogadi (PhD, Illinois Tech, with Farzaneh Derakhshan)
- Alex Friedman (PhD)
Former
- Marelle León (BS)
- Anusha Sonte Parameshwar (MS) - Now at Apple
- Francis Rinaldi (BS) - Now PhD at UPenn
- Baoshu Feng (visitng researcher)
- Xiangwei (Shawn) Li (MS) - Now at IGT
- Deepika Padmanabhan (MCS) - Now at Amazon
- Aman Luqman (BS) - Now at physIQ
- Isa Muradli (MS)
- Pranjal Naik (MCS)
- My Dinh (BS) - Now at Bloomberg
- Mark Lou (BS) - Now at American Express
- Edman Alicea-Marrero (BS)
Publications
View all publications by year / by topic
Recent publications:
Teaching
At UConn
- Fall 2025: CSE5095-002. Special Topics in CSE: Types and Programming Languages
At Illinois Tech
- Fall 2024: CS443. Compiler Construction
- Spring 2024: CS534. Types and Programming Languages
- Fall 2023: CS536. Science of Programming
- Spring 2023: CS440. Programming Languages and Translators.
- Fall 2022: CS443. Compiler Construction
- Spring 2022: CS536. Science of Programming
- Fall 2021: CS 595. Topics and Applications in Programming Languages
- Spring 2021: CS 440. Programming Languages and Translators
At Carnegie Mellon
- Summer 2018: 15-150. Principles of Functional Programming.
Personal
My wife, Hannah Ringler, is also an academic and studies rhetoric.Hobbies
- Running
- Homebrewing beer
Fun Facts
- My Bacon number is lower than my Erdős number:
Erdős: 4, through Guy Blelloch, Gary Miller and Daniel J. Kleitman, or alternately through Bob Harper, Joseph Yehuda Halpern and Nathan Linial.
Bacon: 2, through Tom Hanks (I was an extra in A Beautiful Day in the Neighborhood).
Languages
Human: English (native), Spanish (intermediate)
Programming: OCaml/Standard ML (fluent), Java (intermediate), Python (for prototypes), HTML/JS (when my website needs a redesign), Bash (working knowledge, except of how to write a for loop, which I need to google every single time), Haskell (beginner), C/C++ (if I really have to)