Viktor Kuncak
Original record- Institution
- Massachusetts Institute of Technology
- Year
- 2007
- Country
- United States
- MGP identifier
- 127834
Dissertation: Modular Data Structure Verification
Mathematics Subject Classification: 68—Computer science
Advisor 1
- Martin C. RinardStanford University · 1994
Students 16
| Name | Institution | Year | Students |
|---|---|---|---|
| Régis William Blanc | Not recorded | 2017 | 0 |
| Eva Darulová | École Polytechnique Fédérale de Lausanne (EPFL) | 2014 | 2 |
| Romain Edelmann | École Polytechnique Fédérale de Lausanne (EPFL) | 2021 | 0 |
| Tihomir Gvero | École Polytechnique Fédérale de Lausanne (EPFL) | 2015 | 0 |
| Hossein Hojjat | École Polytechnique Fédérale de Lausanne (EPFL) | 2013 | 0 |
| Ravichandhran Kandhadai Madhavan | École Polytechnique Fédérale de Lausanne (EPFL) | 2017 | 0 |
| Etienne Kneuss | École Polytechnique Fédérale de Lausanne (EPFL) | 2016 | 0 |
| Emmanouil Koukoutos | École Polytechnique Fédérale de Lausanne (EPFL) | 2019 | 0 |
| Giuliano Losa | École Polytechnique Fédérale de Lausanne (EPFL) | 2014 | 0 |
| Mikaël Mayer | École Polytechnique Fédérale de Lausanne (EPFL) | 2017 | 0 |
| Dragana Milovancevic | École Polytechnique Fédérale de Lausanne (EPFL) | 2024 | 0 |
| Ruzica Piskac | École Polytechnique Fédérale de Lausanne (EPFL) | 2011 | 5 |
| Rodrigo Raya | École Polytechnique Fédérale de Lausanne (EPFL) | 2023 | 0 |
| Georg Stefan Schmid | École Polytechnique Fédérale de Lausanne (EPFL) | 2022 | 0 |
| Philippe Paul Henri Suter | École Polytechnique Fédérale de Lausanne (EPFL) | 2012 | 0 |
| Nicolas Charles Yves Voirol | École Polytechnique Fédérale de Lausanne (EPFL) | 2019 | 0 |