Mathias Soeken

Mathias Soeken is a Lecturer at the École Polytechnique Fédérale de Lausanne (EPFL), affiliated with the School of Computer and Communication Sciences and the Integrated Systems Laboratory (LSI1). He is actively involved in teaching and research related to quantum computing, logic synthesis, and compiler optimization.

His research focuses on

• quantum circuit optimization
• resource estimation
• design automation for quantum technologies
• reversible logic synthesis
• compiler frameworks for quantum computing

Key trends in his publications include:

• fault-tolerant quantum computing
• quantum compilation techniques
• logic network optimization
• symbolic resource estimation
• logic synthesis for emerging technologies
• XOR-Majority logic integration

He has supervised multiple PhD students including Haaswijk Winston Jason, Meuli Giulia, Schmitt Antunes Bruno, and Testa Eleonora.