I am a computer scientist and mathematician. I'm interested in applying programming language theory and compiler engineering to express, run, and optimise code for novel models of computation such as AI accelerators or quantum computers. On the mathematics side, I research the geometry of higher-dimensional categories.
Feel free to contact me anytime at lukas@heidemann.me.
Publications
- Quantum-HPC hybrid computation of biomolecular excited-state energies
- Helios: A 98-qubit trapped-ion quantum computer
- Manifold Diagrams for Higher Categories
- HUGR: A Quantum-Classical Intermediate Representation
- homotopy.io: a proof assistant for finitely-presented globular n-categories
- Framed Combinatorial Topology with Labels in ∞-Categories
- Tierkreis: A Dataflow Framework for Hybrid Quantum-Classical Computing
- Zigzag normalisation for associative n-categories
- Frames in Pretriangulated Dg-Categories
Blog Posts
Education
- DPhil in Computer Science at University of Oxford
- MSc in Computer Science at University of Oxford
- BSc in Computer Science at University of Bonn
- MSc in Mathematics at University of Bonn
- BSc in Mathematics at University of Bonn
Experience
- AI Researcher at Zephram, 2025-11
- Research Scientist at Quantinuum, 2021-10 to 2025-10
- Doctoral Researcher at University of Oxford, 2019-10 to 2024-04
- Research Assistant at University of Cambridge, 2023-04 to 2024-01
- Software Engineering Intern at Quantinuum, 2021-05 to 2021-10
- Software Engineer at Fraunhofer FHR, 2018-04 to 2019-08
- Graduate Student Researcher at University of Birmingham, 2018-08 to 2018-08
- Software Engineer at Fraunhofer FHR, 2016-04 to 2016-08