Current Members

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

M.Sc. Student
More info

Jeremie Miserez

M.Sc. Student
More info

Past Students

  • 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
  • Pavol Bielik (M.Sc. thesis), Topic: Concurrency Analysis for Android

Interns

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)