MPLSE (pronounced "m-pulse") is the Michigan Programming Languages and Software Engineering research community.
Baris Kasikci Assistant Professor Computer Science and Engineering
Interests: software reliability, ****program analysis, emerging hardware platforms, efficient runtime instrumentation, security
Cyrus Omar Assistant Professor Computer Science and Engineering FP Lab · Webpage · Twitter
Interests: live 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 Computer Science and Engineering Webpage
Interests: programming language foundations, category theory, gradual typing, language interoperability
Satish Narayanasamy Associate Professor Computer Science and Engineering Webpage
Interests: program analysis, computer architecture, precision health, security