FP Lab at the University of Michigan designs next-generation user interfaces for modern programming languages. Our research runs the methodological gamut, ranging from type-theoretic foundations through to human-centered design. We are particularly interested in applications to computer science education, accessibility, computational and data science, formal verification, and computational creativity.



FP Lab is the academic home of Hazel, a live functional programming environment that is able to understand, manipulate, and even run incomplete programs, i.e. programs with holes.

RustViz: Interactively Visualizing Ownership and Borrowing

We are also working on program visualization techniques for a powerful and elegant systems programming language called Rust.


Older News


Active Members at Michigan

Former Members