Quantum Computing
From quantum programs to hardware: compilation, simulation, verification, and error correction.
Munich Quantum ToolkitResearch
We develop methods and software to design, simulate, and verify circuits and systems—from conventional computing to quantum technologies, microfluidics, and nanotechnology. We also apply design automation to machine learning and train control.
Our research connects algorithms with practical tools. We make our developments available as open source whenever possible and bring our work into research-oriented teaching.
Microfluidics
Design automation and simulation for laboratories on a chip and microfluidic devices.
Munich Microfluidics ToolkitNanotechnology
Algorithms and software for circuit design, physical simulation, and computing at the atomic scale.
Munich Nanotech ToolkitLogic Synthesis
Transforming abstract specifications into efficient circuits through Boolean optimization, technology mapping, and formal verification.
Physical Design
Placement, routing, and benchmarking methods that turn logical circuits into manufacturable layouts.
Machine Learning
Learning algorithms for design automation and signal processing, from early design decisions to robust sensor applications.
Train Control
Automated design, verification, and optimization of railway layouts and schedules for the European Train Control System.
Munich Train Control Toolkit