Viktor Kuncak


Ph.D. Massachusetts Institute of Technology 2007 UnitedStates
Dissertation: Modular Data Structure Verification
Mathematics Subject Classification: 68—Computer science

Advisor: Martin C. Rinard

Click here to see the students listed in chronological order.

Darulová, EvaÉcole Polytechnique Fédérale de Lausanne2014
Hojjat, HosseinÉcole Polytechnique Fédérale de Lausanne2013
Kandhadai Madhavan, RavichandhranÉcole Polytechnique Fédérale de Lausanne2017
Mayer, MikaëlÉcole Polytechnique Fédérale de Lausanne2017
Piskac, RuzicaÉcole Polytechnique Fédérale de Lausanne2011
Suter, PhilippeÉcole Polytechnique Fédérale de Lausanne2012

According to our current on-line database, Viktor Kuncak has 6 students and 6 descendants.
We welcome any additional information.

If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 127834 for the advisor ID.