He got his PhD in automatic synthesis of distributed algorithms from Stuttgart University and researched software validation and verification at European universities in Edinburgh, Munich, Stuttgart, Konstanz, Bucharest and Pitesti, and also in industry at SAP Research in Germany. and Softwin. He likes to bring theory closer to practice and loves to learn about new ideas.