Jennifer Paykin

Assistant Professor

PRONOUNS she/her

jennifer.paykin@uvm.edu
jennifer.paykin@uvm.edu

Innovation E456
Burlington, VT 05405
United States
Linkedin
Website
Pronouns she/her
Alma mater(s)
  • Ph.D., University of Pennsylvania
  • M.A., University of Pennsylvania
  • B.A., Wesleyan University
Affiliated Department(s)

Computer Science

Media Ready

print/web

print/web

JOURNALISTS: Need help scheduling an interview? Contact UVM media relations or search for a UVM expert.

Areas of expertise

Computer programming languages, quantum computing, formal verification. 

BIO

Dr. Paykin's research is in the intersection of programming languages, formal verification, and quantum computing. In particular, she is interested in how mathematical foundations found in type theory, category theory, and more can inform the design of domain-specific programming languages in quantum computing and other application areas. Dr. Paykin earned her Ph.D. from the University of Pennsylvania in 2018, and went on to do work on applications of programming languages and formal methods at Galois and later Intel. She is now an Assistant Professor in the Department of Computer Science at UVM.

Bio

Dr. Paykin's research is in the intersection of programming languages, formal verification, and quantum computing. In particular, she is interested in how mathematical foundations found in type theory, category theory, and more can inform the design of domain-specific programming languages in quantum computing and other application areas. Dr. Paykin earned her Ph.D. from the University of Pennsylvania in 2018, and went on to do work on applications of programming languages and formal methods at Galois and later Intel. She is now an Assistant Professor in the Department of Computer Science at UVM.