His primary research is formal methods in software engineering and with a focus on developing methods for automatic software synthesis with safety and security guarantees. He has obtained his doctoral degree from the Technical University of Dortmund and has 20 years’ experience across different technology (including Microsoft Corp.), research (Fraunhofer Institute for Software- and System Engineering, CERN), and consulting companies for banking and finance (software architect).