Jennifer Paykin

Research & Engineering

My goal at Galois is to use my expertise in math and programming languages to help solve useful domain-specific problems. I am fascinated by the mathematics behind many complex structures in computer science, including logic, type theory, and category theory. In addition, I find that collaboration with people in different fields often results in more than the sum of its parts. Programming languages give me the opportunity to work with others to find surprisingly practical applications of some of the most interesting math you can find.


Jennifer joined Galois in 2018 after receiving her PhD in Computer Science from the University of Pennsylvania. There she applied ideas from type theory and verification to languages and tools for reasoning about concurrency and quantum computing. Before that, she received a B.A. in Mathematics and Computer Science from Wesleyan University.