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 (Nature)
Manifold Diagrams for Higher Categories
HUGR: A Quantum-Classical Intermediate Representation (PLanQC)
homotopy.io: a proof assistant for finitely-presented globular n-categories (FSCD)
Framed Combinatorial Topology with Labels in ∞-Categories
Tierkreis: A Dataflow Framework for Hybrid Quantum-Classical Computing (QCS)
Zigzag normalisation for associative n-categories (LICS)
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