Mathias Soeken

Microsoft (Switzerland) — Switzerland

Computer Science · Physical Sciences

37h-index5.6kcitations242works1.82yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Quantum Computing Algorithms and Architecture(102), Formal Methods in Verification(66), Quantum-Dot Cellular Automata(66), Low-power high-performance VLSI design(51), Quantum Information and Cryptography(45)

Publications241 total

Improving Hardware Requirements for Fault-Tolerant Quantum Computing by Optimizing Error Budget Distributions
arXiv (Cornell University)·2025Open Access
A New Perspective of Constructing Resource-Efficient Data-Lookup Quantum Oracles
2025Open Access
Improving Hardware Requirements for Fault-Tolerant Quantum Computing by Optimizing Error Budget Distributions
2025
Quantum system architecture for utility scale
2025Open Access
Back-end-aware Fault-tolerant Quantum Oracle Synthesis
2025Open Access
Utilizing Resource Estimation for the Development of Quantum Computing Applications
2024· 8 cited
Utilizing Resource Estimation for the Development of Quantum Computing Applications
arXiv (Cornell University)·2024· 2 citedOpen Access
Using Azure Quantum Resource Estimator for Assessing Performance of Fault Tolerant Quantum Computation
arXiv (Cornell University)·2023Open Access
Using Azure Quantum Resource Estimator for Assessing Performance of Fault Tolerant Quantum Computation
2023· 12 cited
Automatic oracle generation in Microsoft's Quantum Development Kit using QIR and LLVM passes
arXiv (Cornell University)·2022Open Access
Assessing requirements to scale to practical quantum advantage
arXiv (Cornell University)·2022· 65 citedOpen Access
Space-time optimized table lookup
arXiv (Cornell University)·2022· 1 citedOpen Access
A Q# Implementation of a Quantum Lookup Table for Quantum Arithmetic Functions
2022· 2 cited
A Q# Implementation of a Quantum Lookup Table for Quantum Arithmetic Functions
arXiv (Cornell University)·2022Open Access
QParallel: Explicit Parallelism for Programming Quantum Computers
arXiv (Cornell University)·2022· 4 citedOpen Access
Advances in Quantum Computation and Quantum Technologies: A Design Automation Perspective
IEEE Journal on Emerging and Selected Topics in Circuits and Systems·2022· 16 citedOpen Access
Design and Automation for Quantum Computation and Quantum Technologies
IEEE Journal on Emerging and Selected Topics in Circuits and Systems·2022· 1 citedOpen Access
Automatic oracle generation in microsoft's quantum development kit using QIR and LLVM passes
Proceedings of the 59th ACM/IEEE Design Automation Conference·2022· 4 cited
Lowering the T-depth of Quantum Circuits via Logic Network Optimization
ACM Transactions on Quantum Computing·2022· 5 cited
Xor-And-Inverter Graphs for Quantum Compilation
npj Quantum Information·2022· 21 citedOpen Access
page 1 of 13Next →

Frequent Co-authors

Rolf Drechsler(29), Robert Wille(16), Giovanni De Micheli(16), Luca Amarù(8), Winston Haaswijk(7), Pierre‐Emmanuel Gaillardon(6), Eleonora Testa(5), Martin Roetteler(4), Saeideh Shirinzadeh(4), D. Michael Miller(4), Alan Mishchenko(4), Heinz Riener(4), Krysta M. Svore(3), Daniel Große(3), Arun Chandrasekharan(3), Matthias Troyer(2), Nils Przigoda(2), Mirco Kuhlmann(2), Martin Gogolla(2), Stefan Frehse(2)