Tom Peham
PHD Student at Technical University of Munich
Munich, Bavaria, Germany
Summary
👤
Senior🎓
Top SchoolTom Peham is a PhD student and research scientist at the Technical University of Munich with a decade of experience in design automation and formal methods. He specializes in synthesizing and verifying fault-tolerant quantum circuits, applying the ZX-calculus and SMT solving to advance quantum error correction and practical implementations. His research software is fully open-source and aimed at optimizing circuits for near-term experimental demonstrations. Previously he worked on automated solutions for the European Train Control System at Johannes Kepler University Linz, reflecting a strong background in safety-critical systems. Based in Munich, he combines rigorous academic training (Diplom-Ingenieur, honors) with hands-on tooling that bridges theory and experimental quantum hardware.
10 years of coding experience
Diplom-Ingenieur, Computer Science, Passed with honors, Diplom-Ingenieur, Computer Science, Passed with honors at Johannes Kepler Universität Linz
Github Skills (20)
circuit10
compilation10
verification10
mapping-tools10
equivalence10
quantum-computing10
quantum-algorithms9
python9
quantum-programming-language8
qiskit8
api5
simulator5
simulation5
mqtt4
cpp3
Programming languages (4)
Github contributions (5)
cda-tum/zx
Dec 2021 - Nov 2022
MQT ZX - A library for working with ZX-diagrams
Contributions:99 commits, 9 PRs, 41 pushes in 11 months
diagramsquantum-computingmqttmqtzx-calculus
pehamTom/MMS-Projekt
Mar 2017 - Jun 2017
Contributions:51 commits, 24 PRs, 42 pushes in 2 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.