MPLSE (pronounced "m-pulse") is the Michigan Programming Languages and Software Engineering research community.

Core Faculty

https://s3-us-west-2.amazonaws.com/secure.notion-static.com/02e37b30-9bcb-4030-aa52-431e0626335f/comar.jpg

Cyrus Omar Assistant Professor Computer Science and Engineering FP Lab · Webpage · Twitter

Interests: programming environments, functional programming, type systems, program synthesis, theorem provers

https://s3-us-west-2.amazonaws.com/secure.notion-static.com/685e3038-bfd6-46bb-9fcc-35f0d47aab1a/jeannin.jpg

Jean-Baptiste Jeannin Assistant Professor Aerospace Engineering Webpage

Interests: verification of cyber-physical systems, logic and semantics, functional programming, type systems, theorem provers

https://s3-us-west-2.amazonaws.com/secure.notion-static.com/1633d369-29d3-47e1-aa80-bfc6e4b4bb74/karem.jpg

Karem A. Sakallah Professor Computer Science and Engineering Webpage

Interests: program verification, model checking, distributed systems, graphs

https://s3-us-west-2.amazonaws.com/secure.notion-static.com/85bfafb1-1983-4548-b654-b83d781f433f/max_new.jpg

Max S. New Assistant Professor (incoming Fall 2021) Computer Science and Engineering Webpage · Twitter

Interests: programming language foundations, category theory, gradual typing, language interoperability

https://s3-us-west-2.amazonaws.com/secure.notion-static.com/df765ae1-a085-4a38-a10c-b1547d6a52fb/adamsmda.jpg

Michael D. Adams Assistant Research Scientist Computer Science and Engineering FP Lab · Webpage

Interests: programming environments, static analysis, parsing, compilers, language design

https://s3-us-west-2.amazonaws.com/secure.notion-static.com/939d8105-0164-4b23-a1e9-7af9615e43c8/nsatish.jpg

Satish Narayanasamy Associate Professor Computer Science and Engineering Webpage

Interests: program analysis, computer architecture, precision health, security

https://s3-us-west-2.amazonaws.com/secure.notion-static.com/e7d342cb-ff0f-4a7b-ae43-5b0a01ae29d6/soney.jpg

Stephen Oney Assistant Professor School of Information Webpage

Interests: programming environments, HCI, web programming, end-user programming, accessibility, software engineering

https://s3-us-west-2.amazonaws.com/secure.notion-static.com/e14b608a-6c73-4447-9ffd-de038d4c0506/weimerw.jpg

Westley Weimer Professor Computer Science and Engineering Webpage

Interests: program repair, program analysis, cognitive science, software engineering, programming languages