Viktor Kuncak leads the research group LARA (Lab for Automated Reasoning and Analysis) which conducts research in the area of Programming Languages and Formal Methods at the IC School of EPFL. With his group and collaborators, he develops algorithms and software tools for constructing reliable systems. He works in the broad area of programming languages and formal methods. His recent topics of work include software synthesis and software verification. Some of his interests are embodied in the proposal for implicit programming. Here is his inaugural lecture (video, photos)