Mathias Soeken

Mathias Soeken is a researcher specializing in quantum computing, logic synthesis, and formal methods. They obtained a PhD from the University of Bremen in 2013 and subsequently served as a postdoctoral researcher at both the University of Bremen and EPFL, focusing on quantum computing and logic synthesis. Additionally, Mathias held positions as a substitute professor and has collaborated with UC Berkeley’s logic synthesis and verification group. Their professional experience includes roles at Microsoft, where they contributed to quantum software architecture.