Larry Diehl

Part of the Programming Languages and SDK team at Symbiont. Formerly a member of the Computational Logic Center at the University of Iowa, as a postdoctoral researcher working with Aaron Stump. I completed my PhD of Computer Science at Portland State University, advised by Tim Sheard.

My industrial work involves creating programming languages that make formal verification and safety accessible to a broader audience. My research involves generic programming, dependently typed programming languages, and datatype encodings (e.g. various flavors of type indexing and induction-recursion).


Check out Ditto, a dependently typed programming language that I work on with Francisco Ferreira!