The increased availability of massive codebases (e.g., GitHub), a term referred to as ``Big Code'', creates an exciting opportunity for new kinds of programming tools based on probabilistic models. Enabled by these models, tomorrow’s tools will provide statistically likely solutions to programming tasks that are difficult or impossible to solve with traditional techniques
I am originally from Sofia, Bulgaria where I was born and grew up. I am an Assistant Professor of Computer Science at ETH Zurich where I lead the Software Reliability Lab. Prior to ETH, I was a Research Staff Member at the IBM T.J. Watson Research Center in New York. I obtained my PhD from Cambridge University, England and my B.Sc. from Simon Fraser University. Before Canada, I studied at the Sofia Math High School in Sofia, Bulgaria. I am interested in program analysis, program synthesis, application of machine learning to programming languages, and concurrency.
Tue 14 Jun Times are displayed in time zone: (GMT-07:00) Tijuana, Baja California change
|10:30 - 10:50|
|10:50 - 11:10|
|11:10 - 11:30|
|11:30 - 12:00|
Martin VechevETH Zurich