Collaborators

During my research, I had the pleasure to collaborate with many scientists.

Below is a list of some other collaborators whom I worked with in the past.

• Prof. Roderick Bloem, Graz University of Technology

• Jonathan A. DeCastro, Cornell University

• Prof. Görschwin Fey, University of Bremen

• Prof. Bernd Finkbeiner, Saarland University

• Michael Gerke, Saarland University

• Georg Hofferek, Graz University of Technology

• Swen Jacobs, Saarland University

• Gangyuan Jing, Cornell University

• Robert Könighofer, Graz University of Technology

• Prof. Hadas Kress-Gazit, Cornell University

• Prof. Stéphane Lafortune, The University of Michigan

• Prof. Martin Lange, University of Kassel

• Robert Mattmüller, University of Freiburg

• Salar Moarref, Cornell University

• Hans-Jörg Peter, now at Synopsys

• Vasumathi Raman

• Heinz Riener, EPFL Lausanne

• Matthias Rungger, TU Munich

• Prof. Sanjit Seshia, University of California at Berkeley

• Prof. Paulo Tabuada, University of California at Los Angeles

• Prof. Ufuk Topcu, University of Texas at Austin

• Prof. Stavros Tripakis, Aalto University and University of California at Berkeley

• Prof. Moshe Y. Vardi, Rice University

• Kai Weng Wong, Cornell University