معرفی
Jennifer Paykin is a researcher affiliated with Intel and previously with Galois, Inc., actively contributing to programming languages and quantum computing since at least 2016. Her work bridges formal verification, quantum circuit design, and type theory, with notable papers on QWIRE, modal types, and higher-inductive quantum lambda calculus.
- Key affiliations: Intel (current), Galois, Inc. (past)
- Active in conference committees: PriSC, PLanQC, CoqPL, and TyDe
Research interests span programming languages, quantum computing, formal verification, linear logic, and type systems. Her contributions include:
- Quantum circuit languages (QWIRE)
- Phantom type applications for quantum programs
- Modal types in quantum SDKs
- Formalizing quantum lambda calculus
- Secure compilation models
- Higher-inductive type frameworks
Trends in publications show increasing focus on quantum software infrastructure (2016–2025), with recurring themes of type-driven quantum verification, circuit compilation, and logical foundations. Key collaborations include work on the SAW scripting language and flow equivalence models.
