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

Petar Tsankov

PhD Student
More info

Current M.Sc. Thesis Students

  • Alexandra Maximova, Topic: Synthesis of Functional Programs
  • Matteo Panzacchi, Topic: Efficient Training for Probabilistic Graphical Models
  • Cyril Steimer, Topic: Layout Algorithms for Heap Debuggers
  • 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