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

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

https://web.eecs.umich.edu/~xwangsd/images/pic.jpg

Xinyu Wang Assistant Professor Computer Science and Engineering Webpage

Interests: program synthesis, program analysis/verification, programming languages, software engineering, formal methods

X + PL / SE

In addition to the core faculty above, there are a number of other faculty who develop and apply PL and SE techniques to problems in various other research areas.

MPLSE Courses

Core Courses