1. Swiss Federal Institute of Technology EPFL
School of Computer and Communication Sciences
Ecole Polytechnique
Fédérale de Lausanne
EPFL
Faculté Informatique et Communications IC
Inaugural Lecture of Professor Viktor Kuncak
12 September 2013

2. Welcome to the Inaugural Lecture of Professor Viktor Kuncak

3. Viktor Kunčak would like to thank organizers and participants, his collaborating colleagues, and especially his family: his wife and collaborator Barbara Jobstmann, their three-month-old son Martin Kunčak, as well as parents Katarina and Jaroslav Kunčak.

4. < The lecture material goes here >

5. Acknowledgements
In addition to his family, Viktor Kuncak would like to thank former and current members of his research group: Ruzica Piskac, Philippe Suter, Hossein Hojjat, Giuliano Losa, Tihomir Gvero, Eva Darulová, Etienne Kneuss, Regis Blanc, Mikaël Mayer, Ravichandhran Kandhadai Madhavan, Ivan Kuraj, Filip Konečny, Pierre-Emmanuel Cornilleau, Swen Jacobs, Ali Sinan Köksal, and Andrej Spielmann. Many thanks to all his EPFL colleagues, especially Martin Odersky, to a former EPFL colleague Thomas A. Henzinger; thanks to PhD advisor Martin C. Rinard, to Arvind, Daniel Jackson, and to Rastislav Bodik, as well as to friends and collaborators Darko Marinov, Andrey Rybalchenko, Rupak Majumdar, Thomas Wies. Thanks to our system manager Fabien Salvi and to our group administrator Yvette Gallay, and also thanks to Alexandra Walther and Kamila Mądry for organization and advice, as well as Stéphanie Amati for video production.

6. Thank you for your attention!
Inaugural Lecture of Professor Viktor Kuncak
12 September 2013
Swiss Federal Institute of Technology
EPFL
School of Computer and Communication Sciences
Ecole Polytechnique
Fédérale de Lausanne
EPFL
Faculté Informatique et Communications IC