Mathias Soeken works at the Azure Quantum team at Microsoft. From 2015 to 2020, he has been with École Polytechnique Fédérale Lausanne (EPFL), Switzerland as postdoctoral scientist. 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.