Current Members

Prof. Dr. Martin Vechev

Professor
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

Summer Intern
More info

Jeremie Miserez

Summer Intern
More info

Current B.Sc. Thesis Students

  • Andreas Furrer
  • Christian Fehlmann
  • Benjamin Bischel
  • Attila Printz

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

  • 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

Interns

  • 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

SRL Visitors

  • Eran Yahav (Technion), Dana Drachsler (Technion), Yuri Meshman (Technion), Marco Pistoia (IBM Watson Research), Patrick Lam (Waterloo), Armando Solar-Lezama (MIT), Anders Moller (Aarhus), Eric Koskinen (NYU), David F. Bacon (IBM Watson Research)