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.

Projects

Hazel

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.

News

Older News

People

Active Members

Former Members

Collaborators

Community