Skip to content

Faculty profile

Associate ProfessorDepartment of Mathematics & StatisticsDalhousie University

Research

Read how they describe their research on their Dalhousie University profile.

Latest papers

  • Proto-Quipper with reversing and control

    Journal of Logical and Algebraic Methods in Programming · 2026

  • Proto-Quipper with dynamic lifting

    Journal of Functional Programming · 2026

  • Parameterized Quantum Circuit Semantics Through Enriched Categories

    arXiv (Cornell University) · 2026 · first author

All 50 publications

Profile data last refreshed on September 29, 2026 from the university directory, publication records and public research funding records.

Something wrong or missing on this profile? Suggest a correction