Dr. Mathias Soeken

Researcher, Lausanne, Switzerland

Mathias Soeken works as a research design engineer at Microsoft and as a researcher at the EPFL in Lausanne, Switzerland. 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.


Disclaimer: Any opinions expressed on this blog are mine, not those of my employer.