Vilnius / Verona / Paris / Bremen / Anogia / Seattle / Tallinn / Speyer / Cambridge / San Diego / Chicago / /
Company
Embedded Software / Satisfiability Modulo Software / IBM / Verified Software / Combining Systems / Google / IFIP Working Group / Embedded Systems / Microsoft / Object-Oriented Software / Artificial Intelligence Laboratory / /
Country
Switzerland / Netherlands / Estonia / France / Italy / United States / Greece / /
Currency
CHF / INR / / /
Facility
Toyota Technological Institute / University of Novi Sad / Northeastern University / Stanford University / University of Illinois / Max-Planck Institute / Saarland University / University Award Thesis / Viktor Kuncak Swiss Federal Institute of Technology / Institute of Mathematics / New York University / Co-organized IC Summer Research Institute / Cornell University / IBM T.J. Watson Research Center / University of Maryland / Massachusetts Institute of Technology / Yale University / /
IndustryTerm
distributed systems / numerical transition systems / out-of-core algorithms / deployed distributed systems / /
Organization
School of Computer / School of Computer & Communications Sciences / New York University / Swiss Federal Institute of Technology / University of Maryland / Institute of Mathematics and Informatics / Northeastern University / UC Berkeley / EPFL Human Research Ethics Committee / Massachusetts Institute of Technology / PC / Cornell University / Actors for Race-Free Concurrent Programming / Universite Paris Diderot / Swiss National Science Foundation / School of Computer and Communication Sciences / EPFL Committee Service / EPFL Commission / University of Novi Sad / Saarland University / National Science Foundation / Cornell / MIT / Max-Planck Institute for Software Systems / 2013• Commission / Yale University / Congress / IC Ph.D. committee / University of Illinois / Summer School / Associate Professor School of Computer and Communication Sciences / IC Summer Research Institute / Stanford University / Swiss NSF Cooperation Grant COST Office / Toyota Technological Institute / EECS Department / /
Person
Andrej Spielmann / Emmanouil Koukoutos / Mirco Dotta / Sarfraz Khurshid / Karen Zee / Darko Marinov / Regis Blanc / Charles Bouillaguet / Ravichandhran Madhavan / William Blanc / Tihomir Gvero / Ingo Maier / Andreas Podelski / Vilas Jagannath / Marco Mu˜ niz / Philippe Suter / Martin C. Rinard / Jean Goubault-Larecq / Filip Kone / Indranil Saha / Kuat Yessenov / Jan Vitek / Dejan Kosti / Filip Konecny / Florent Garnier / Philipp Haler / Sharad Malik / Milos Gligoric / Rupak Majumdar / Milena Vujo / Rustan Leino / Ivan Kuraj / Martin Odersky / Patrick Lam / Jad Hamza / Verification / Maysam Yabandeh / Barbara Jobstmann / Gilles Dubochet / Mikael Mayer / Christoph Koch / Ahmed Bouajjani / Thomas A. Henzinger / Irina Rychkova / Rachid Guerraoui / Phillippe Suter / Eva Darulov / Gregory Th´eoduloz / Lukas Rytz / Nikola Kne / Giuliano Losa / el Mayer / Ali Sinan / Hossein Hojjat / Radu Iosif / Jean-Loup Carr / Dejan Nemanja Novakovi / Viktor Kuncak / Bruno Marnette / Silvia Ghilezan / Johannes Borgstr / Etienne Kneuss / Mihaela Sighireanu / David Monniaux / Charles Hymans / Swen Jacobs / Eva Darulova / Marco Mu niz / Konstantine Arkoudas / Mirjana Ivanovi / Yannis Klonatos / Michael Taylor / Huu Hai Nguyen / Aleksandar Prokopec / Aarti Gupta / Uwe Nestmann / Alain Wegmann / Mladen Nikoli / Robin Steiger / Michal Kapalka / Philipp Ruemmer / Thomas Wies / Ruzica Piskac / Daniel Jackson / Martin Rinard / Viktor Kuncak Swiss / / /
Position
Advisor / tenure-track assistant professor / Haskell Advisor / post-doctoral researcher / teaching assistant / Role Analysis Advisor / Researcher / Research Assistant / Publication chair / Model / director / Co-Chair / Assistant Professor / chair / Tenure-Track Assistant / /
Product
Bremen / /
ProgrammingLanguage
Java / Scala / R / Haskell / /
ProvinceOrState
California / Maryland / Illinois / Massachusetts / /
PublishedMedium
Communications of the ACM / IEEE Transactions on Software Engineering / /
SportsLeague
Stanford University / /
Technology
Object-Oriented Programming / Software Technology / An algorithm / Java / PHP / Operating Systems / artificial intelligence / 2007 Massachusetts Institute of Technology / Java Technology / /
Viktor Kuncak Swiss Federal Institute of Technology (EPFL) School of Computer & Communications Sciences, INR 318 Station 14 CH-1015 Lausanne, Switzerland web page: http://lara.epfl.ch/˜kuncak