SRL
Software Reliability Lab
Home
People
Openings
Research
Publications
Talks
Service
Teaching
Contact
Address:
ETH Zürich
Department of Computer Science
Software Reliability Lab
UNG H 14
Universitätstrasse 19
8092 Zürich
Switzerland
E-mail: martin.vechev@inf.ethz.ch
Phone: +41 44 632 98 48
Recent News
2 new papers accepted at SAS'13
ExCAPE Webinar on "Synthesis for Concurrency"
Dimitar Dimitrov joins as a PhD student
Invited Lecturer at the ENS Lyon Winter School, Jan 14-18, 2013
New graduate course: "Automated Techniques for Software Reliability"
Invited Lecturer @ UPMARC Summer School on Multicore'12
Talk @ Multicore Dagstuhl
Talk @ Software Synthesis Dagstuhl
Veselin Raychev joins as a PhD student
Andrei Dan joins as a PhD student
SRL awarded a 3-year SNF grant on "Practical Synthesis"
3 new papers accepted at PLDI'12