FP Lab at the University of Michigan designs next-generation user interfaces for next-generation 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, 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

People

Active Members