Current Members

Prof. Dr. Martin Vechev

More info

Petar Tsankov

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

Martin Kučera

PhD Student
More info

Matthew Mirman

PhD Student
More info

Current Thesis/Semester Students

  • Cedric Baumann, M.Sc. Thesis, Topic: Program Analysis of Remote Memory Access programs
  • Florian Bunzly, M.Sc. Thesis, Topic: Ensuring safety of cryptocurrencies
  • Benjamin Mularczyk, M.Sc. Thesis, Topic: Deep Learning for Programs
  • Rumen Paletov, M.Sc. Thesis, Topic: Learning Program Repairs
  • Pascal Wiesmann, B.Sc. Thesis, Topic: Probabilistic Programming
  • Pavle Djordjevic, Semester Student, Topic: Neural Turing Machines
  • Romy Profanter, Semester Student, Topic: Probabilistic Sequence Algorithms
  • Prabhakaran Santhanam, Semester Student, Topic: Code Captioning
  • Benjamin Bichsel, Semester Student, Topic: Probabilistic Security Reasoning
  • Past Sabbatical Visitors

    Past Post-Docs

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

    • Cyril Steimer, Topic: Layout Algorithms for Heap Debuggers
    • Matteo Panzacchi, Topic: Efficient Training for Probabilistic Graphical Models
    • Alexandra Maximova, Topic: Synthesis of Functional Programs
    • Attila Printz (B.Sc. thesis), Topic: Program analysis for Weak Memory Models (2015)
    • Benjamin Bichsel (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
    • Jibin Ou (M.Sc. thesis), Topic: An Interactive System for Data Structure Development


    • 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