Accessibility
Homepage
Navigation within EPFL sites
Navigation within this site
Jump to search field
Jump to page content
Technical contact
You are
Prospective students portal
EPFL Virtual tour
Exchange student
Students portal
Student services
Academic calendar
Researchers portal
Research funding
Doctorate at EPFL
Staff portal
Human resources
Help
Business portal
Innovation & Tech Transfer
Innovation Square
Mediacorner
Press releases
,
Reflex
,
Flash
Image library
Teaching portal
Courses management
Students management
Alumni Portal
Become a member
A3 agenda
By
school
Architecture, Civil and Environmental Engineering
ENAC
Architecture
Civil Engineering
Environmental Engineering
Urban Planning
Basic Sciences
SB
Chemistry
Mathematics
Physics
Engineering
STI
Electrical Engineering
Mechanical Engineering
Materials Science and Engineering
Microengineering
Bioengineering
Computer & Communication Sciences
I&C
Computer Science
Communication Systems
Life Sciences
SV
Bioengineering
Neuroscience Brain Mind & Blue Brain
Global Health
Cancer
Management of Technology
CDM
Management of Technology
Financial Engineering
College of Humanities
CDH
Human and Social Science
Area & Cultural Studies
Center for Social Ontology
about
EPFL
EPFL
Direction
EPFL Structure
General information
Library
Job offers
Education
Preparatory course
CMS
Bachelor
Master
PhD
Continuing education
(EPFL-UNIL Foundation)
Research
Transdisciplinary Centers
Grants office
Research Commission
EPFL
Publications
Innovation & Tech Transfer
Partnerships
Start-up
Industrial liaison
Technology transfer, patents
International portal
International Relations
EPFL Middle East
Cooperation
Person
Place
EPFL
Web
On this site
Search
EPFL
People@EPFL
Viktor Kuncak
English
Français
Viktor Kuncak
Contact
Biography & current work
Main publications
Teaching & PhD
Print
Share
Contact
Tenure Track Assistant Professor
Laboratory for Automated Reasoning and Analysis
Phone
[+41 21 69] 35281,34943
Postal address
EPFL IC IIF LARA
INR 318 (Bâtiment INR)
Station 14
CH-1015 Lausanne
Office
INR318
In unit
EPFL
IC
IIF
LARA
Laboratory for Automated Reasoning and Analysis
LARA
Tenure Track Assistant Professor
SIN - Teaching
Phone
[+41 21 69] 35281
Postal address
EPFL IC SIN-GE
INR 318 (Bâtiment INR)
Station 14
CH-1015 Lausanne
Office
INR318
In unit
EPFL
IC
IC-SIN
SIN-ENS
SIN - Teaching
SIN-ENS
All postal addresses and positions
vCard
Viktor Kuncak
Assistant Professor
PhD (MIT, 2007)
http://lara.epfl.ch/~kuncak
Fields of Expertise
Software synthesis, analysis and verification, Automated reasoning, Programming languages
