Mathias Soeken is a researcher focused on the interdisciplinary fields of quantum computing, logic synthesis, and formal methods. His work delves into the fundamental theories and general insights within logic synthesis, aiming to advance the understanding of these complex systems.

Beyond theoretical exploration, Soeken also applies his research to emerging nanotechnologies, with a particular emphasis on quantum computing.