Dr. Mathias Soeken
Mathias Soeken works at the Quantum team at Microsoft. From 2015 to 2020, he has been with École Polytechnique Féd&ecaute;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 paper Improved quantum circuits for elliptic curve discrete logarithms has been accepted by the PQCrypto 2020 conference. publication
- The article SAT-based exact synthesis: encodings, topology families, and parallelism got accepted for publication in IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. publication
- 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
- The article Boolean satisfiability in quantum compilation got accepted for publication in Philosophical Transactions of the Royal Society A. publication
Disclaimer: Any opinions expressed on this page and blog are mine, not those of my employer.