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

Christine Zeller

M.Sc. Student
More info

Gagandeep Singh

Predoc
More Info

Pavol Bielik

Predoc
More info

Jibin Ou

Predoc
More info

B.Sc. Thesis Students

  • Pascal Roos, Topic: Effective Statistical Code Completion PDF

Research in Computer Science Students

  • Timon Gehr, Topic: Synthesis of Logical Specs from Examples

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)