Registered user since Thu 9 Mar 2017
Jennifer Paykin is an Assistant Professor of Computer Science at the University of Vermont, where she works at the intersection of programming languages and quantum computing. Her research focuses on designing abstractions, type systems, and tools inspired by both mathematical theory and real-world experimental constraints, often in collaboration with physicists, mathematicians, and engineers.
Before joining UVM, Dr. Paykin was a research scientist at Intel working on the formal verification and optimization of the Intel Quantum SDK. She also held a research position at Galois working on security, formal methods, and high-assurance hardware. She earned her Ph.D. from the University of Pennsylvania.
Contributions
View general profile