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 any time at lukas@heidemann.me. My CV can be found here.

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

This is not a pipe
Fractions of differential forms
What Model Categories Model
MLIR was so close
Tools that Work Together
Computing Attention via Monoid Aggregates