Tristan Ravitch

Research & Engineering

I am a software engineer with a focus on static program analysis. My interests include functional programming, program verification, and debugging tools.

Background

Tristan received his undergraduate degree in computer science at North Carolina State University and his graduate degrees at the University of Wisconsin. After earning his Ph.D., he joined Galois.

Tristan’s thesis work aimed to make it easier and safer to re-use C code from high-level programming languages through foreign function interfaces. He performed static analysis of C libraries and inferred deep semantic properties that informed more idiomatic library binding generation. In the process, he happened to learn Haskell.