Dr. Mathias Soeken
Mathias Soeken works at the Quantum team at Microsoft. From 2015 to 2020, he has been with École Polytechnique Fédérale Lausanne (EPFL), Switzerland as postdoctoral scientist. From 2009 to 2015 he worked at the University of Bremen, Germany and has been a regularly visiting post doc at UC Berkeley, CA, USA in the group of Robert K. Brayton. He holds a Ph.D. degree (Dr.-Ing.) in Computer Science from University of Bremen, Germany (2013). His research interests are logic synthesis, quantum computing, reversible logic, and formal verification. Mathias Soeken is member of the IEEE and of the ACM.
- The article Quantum programming languages got accepted for publication in Nature Reviews Physics. publication
- The article Three-input gates for logic synthesis got accepted for publication in IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. publication
- Multiplier architectures: challenges and opportunities with plasmonic-based logic (special session)
- Exact DAG-aware rewriting
- A logic synthesis toolbox for reducing the multiplicative complexity in logic networks
- The paper Improved quantum circuits for elliptic curve discrete logarithms has been accepted by the PQCrypto 2020 conference. publication
- Advanced functional decomposition using majority and its applications
- SAT-based exact synthesis: encodings, topology families, and parallelism
- Symbolic algorithms for token swapping
- Automatic uniform quantum state preparation using decision diagrams
- The article Logic synthesis for established and emerging computing got accepted for publication in Proceedings of the IEEE. publication
Disclaimer: Any opinions expressed on this page and blog are mine, not those of my employer.