Current Members

Prof. Dr. Martin Vechev

More info

Prof. Dr. Patrick Lam

Visiting Professor
More info

Dr. Sasa Misailovic

More info

Veselin Raychev

PhD Student
More info

Andrei Marian Dan

PhD Student
More info

Dimitar Dimitrov

PhD Student
More info

Gagandeep Singh

PhD Student
More Info

Pavol Bielik

PhD Student
More info

Timon Gehr

PhD Student
More info

Jeremie Miserez

Research Assistant
More info

Past B.Sc./M.Sc. Thesis Students

  • Attila Printz (B.Sc. thesis), Topic: Program analysis for Weak Memory Models (2015)
  • Benjamin Bischel (B.Sc. thesis), Topic: Android De-obfuscation (2015)
  • Christian Fehlmann (B.Sc. thesis), Topic: Race Reduction for Event-Driven Applications (2015)
  • Timon Gehr (M.Sc. thesis), Topic: Learning Commutativity Specifications, best M.Sc. thesis in Computer Science (2015)
  • Jeremie Miserez (M.Sc. thesis), Topic: Race Detection for Software Defined Networks
  • Christine Zeller (M.Sc. thesis), Topic: Statistical Tutoring for MOOCs
  • Pascal Roos (B.Sc. thesis), Topic: Effective Statistical Code Completion
  • Gagandeep Singh (M.Sc. thesis), Topic: Fast Algorithms for the Octagon Abstract Domain, best M.Sc. thesis in Computer Science (2014)
  • Pavol Bielik (M.Sc. thesis), Topic: Concurrency Analysis for Android


  • Viktor Ivanov (Sofia University) : Sept 2014 - May 2015
    Topic: Statistical Learning for Service Composition
  • Yasen Trifonov (Sofia University): July 15, 2014 - Sept 20, 2014
    Topic: Graph Algorithms for Race Detection
  • Peter Ivanov (Moscow State University): July 1, 2012 - August 28, 2012
    Topic: Abstractions for Biological Systems
  • Svetoslav Karaivanov (Sofia University): July 15, 2013 - Dec 15, 2013
    Topic: Statistical Machine Translation of Programming Languages
  • Casper Jensen (Aarhus University): Sept 2013 - Sept 2014
    Topic: Model Checking Event Driven Applications