Mathias Soeken
Principal Quantum Software Architect at Microsoft
Lausanne, Vaud, Switzerland
Summary
🤩
Rockstar🎓
Top SchoolMathias Soeken is a Principal Quantum Software Architect with 15 years of experience bridging foundational logic synthesis, formal methods, and practical quantum compilation. He leads quantum software design at Microsoft after a strong academic track—PhD and postdoctoral work at Bremen, EPFL and visiting collaboration with UC Berkeley—where he developed synthesis and verification techniques applied to emerging nanotechnologies. His contributions to high-impact open-source projects such as the Z3 theorem prover, the ABC synthesis system, and Microsoft’s Q# compiler and libraries show a rare mix of low-level compiler fixes, infrastructure improvements, and algorithmic synthesis work. Mathias combines rigorous research on exact and SAT-based synthesis with hands-on engineering—implementing quantum gates, fixing compiler optimizations, and hardening build and release pipelines. He is based in Lausanne and known for turning theoretical insights into production-quality tools that improve correctness and performance in quantum toolchains. Notably, his background in reversible logic and delay-aware exact synthesis informs pragmatic approaches to resource-efficient quantum circuit compilation.
15 years of coding experience
12 years of employment as a software developer
PhD, PhD at University of Bremen
English, German, French
Stackoverflow
1,303reputation
288kreached
27answers
17questions
Github Skills (43)
algorithm10
unit-testing10
algorithms10
c-language10
quantum-algorithms10
qdk10
python10
synthesis10
c-programming10
data-structure10
compiler-design10
synthesize10
build-automation10
dotnet-core10
data-structures10
Programming languages (16)
Github contributions (5)
lsils/mockturtle
Apr 2018 - Jul 2020
C++ logic network library
Role in this project:
Back-end Developer
Back-end DeveloperContributions:1 release, 308 commits, 441 PRs in 2 years 3 months
Contributions summary:Mathias has contributed to implementing the initial network interface with AIG and k-LUT implementations, which demonstrates the creation of core logic network components. They added a test case for a truth table cache, indicating a focus on performance optimizations. They also fixed warnings and errors in GCC 7.3.0, focusing on code quality. The commits cover areas of core architecture and unit testing within the library.
cpp
microsoft/QuantumLibraries
May 2019 - Nov 2022
Q# libraries for the Quantum Development Kit
Role in this project:Back-end Developer
Back-end DeveloperContributions:169 reviews, 70 commits, 160 PRs in 3 years 6 months
Contributions summary:Mathias primarily contributed to the `microsoft/quantumlibraries` repository by implementing and refactoring core components related to quantum computing. They updated deprecated functions, developed new array initialization functions, and modified existing code for improved performance. Furthermore, they contributed to the implementation of quantum AND gates, which included both code and documentation improvements.
development-kitqdkquantum-computingqsharpquantum-development-kit
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.