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

Core Faculty

https://web.eecs.umich.edu/~barisk/pictures/profile.jpg

Baris Kasikci Assistant Professor Computer Science and Engineering

Webpage · Twitter

Interests: software reliability, ****program analysis, emerging hardware platforms, efficient runtime instrumentation, security

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: live 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 Computer Science and Engineering Webpage

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

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