Interview with Joseph Sifakis (Turing Award, 2007)

An interview with Joseph Sifakis at the 5th Heidelberg Laureate Forum, September 2017.