MPLSE (pronounced "m-pulse") is the Michigan Programming Languages and Software Engineering research community.
Cyrus Omar Assistant Professor Computer Science and Engineering FP Lab · Webpage · Twitter
Interests: programming environments, functional programming, type systems, program synthesis, theorem provers
Jean-Baptiste Jeannin Assistant Professor Aerospace Engineering Webpage
Interests: verification of cyber-physical systems, logic and semantics, functional programming, type systems, theorem provers
Karem A. Sakallah Professor Computer Science and Engineering Webpage
Interests: program verification, model checking, distributed systems, graphs
Max S. New Assistant Professor (incoming Fall 2021) Computer Science and Engineering Webpage · Twitter
Interests: programming language foundations, category theory, gradual typing, language interoperability
Michael D. Adams Assistant Research Scientist Computer Science and Engineering FP Lab · Webpage
Interests: programming environments, static analysis, parsing, compilers, language design
Satish Narayanasamy Associate Professor Computer Science and Engineering Webpage
Interests: program analysis, computer architecture, precision health, security
Stephen Oney Assistant Professor School of Information Webpage
Interests: programming environments, HCI, web programming, end-user programming, accessibility, software engineering
Westley Weimer Professor Computer Science and Engineering Webpage
Interests: program repair, program analysis, cognitive science, software engineering, programming languages