Write a Blog >>
Sun 18 Jun 2017 11:45 - 12:30 at Sala d'Actes, Vertex Building - Session 2

Armando Solar-Lezama is an associate professor at MIT where he leads the Computer Aided Programming Group. His research interests include software synthesis and its applications in diverse areas such as high-performance computing, information flow security and probabilistic programming.

Sun 18 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

11:00 - 12:30
11:00
45m
Talk
What is research and how to do it? Thinking globally and acting locally.
PLMW
Michael Hicks University of Maryland, College Park
11:45
45m
Talk
Program synthesis
PLMW