Research Projects
Exploring the cutting-edge of formal mathematics and quantum computation.
Lambda Calculus Foundations
Developing novel reduction techniques for formal verification of functional programming constructs.
Learn moreQuantum Oracles
Researching quantum oracle constructions for mathematical proof verification algorithms.
Learn moreDependent Type Systems
Building new type constructors for secure cryptographic protocol implementations.
Learn moreFormal Verification
Using Coq and Lean for mathematical proofs in quantum computing domains.
Learn moreLambda Compiler
Designing compiler optimizations for higher-order type systems in λ-simulations.
Learn moreQuantum θ
Bridging theoretical mathematics with quantum algorithm design through new mathematical abstractions.
Learn more