Faculty
Prof. Dr. Martin Vechev
More info
- Email
- martin.vechev@inf.ethz.ch
- Phone
- +41 44 632 98 48
- Room
- UNG H14
PhD Students
Veselin Raychev
More info
- Email
- veselin.raychev@inf.ethz.ch
- Phone
- +41 44 632 39 06
- Room
- UNG H16
Andrei Marian Dan
More info
- Email
- andrei.dan@inf.ethz.ch
- Phone
- +41 44 633 81 94
- Room
- UNG H15
Dimitar Dimitrov
More info
- Email
- dimitar.dimitrov@inf.ethz.ch
- Phone
- +41 44 633 82 87
- Room
- UNG H11.1
M.Sc. Students
- Gagandeep Singh (from Sept 2012), Topic: Code Search
- Martin Enev (from Sept 2012), Topic: Concurrency Analysis with Weak Memory Models
Interns
- Peter Ivanov (Moscow State University): July 1, 2012 - August 28, 2012
Topic: Abstractions for Biological Systems
