français | english		EPFL > people@EPFL > Viktor Kuncak login

Tenure Track Assistant Professor IC IIF LARA Tenure Track Assistant Professor IC IC-SIN SIN-ENS

Viktor Kuncak Laboratory for Automated Reasoning and Analysis Assistant Professor PhD (MIT, 2007) web site: http://lara.epfl.ch/~kuncak office(s): INR318 phone(s): [+41 21 69] 35281,34943 BIOGRAPHY Viktor Kuncak develops algorithms and software tools for constructing reliable systems. He works in the area of programming languages and automated software engineering. He uses formal methods while emphasizing algorithmic and tool aspects, in particular automated reasoning, software synthesis, software analysis, verification, and automated testing. Much of his recent interests are embodied in the proposal for implicit programming. FURTHER INFORMATION Implicit Programming Rich Model Toolkit: http://richmodels.org Research group page: http://lara.epfl.ch CV

Skills Software analysis and verification, Software reliability, Automated reasoning, Programming languages Teaching Computer Science Compiler construction [en] (SSC SIN) Synthesis, analysis and verification [en] (SIN) Phd programs Computer, Communication and Information Sciences Phd Students Darulova Eva Gvero Tihomir Hojjat Hossein Losa Giuliano Spielmann Andrej Suter Philippe