Humboldt-Universität zu Berlin | Mathematisch-Naturwissenschaftliche Fakultät | Institut für Informatik | Willkommen bei SOAMED | DoktorandInnen | Völlinger, Kim | Kim Völlinger Dipl.-Inf. Kim Völlinger Kontakt Adresse: Institut für Informatik Humboldt Universität zu Berlin Rudower Chaussee 25 12489 Berlin Raum: 4.106 Telefon: +49-30-2093-3068 Telefax: +49-30-2093-5484 Homepage: https://www2.informatik.hu-berlin.de/top/www/mitarbeiter/kim_voellinger E-Mail: voellinger(at)soamed.de Ausbildung Mitglied bei SOAMED seit: assoziiertes Mitglied seit: 13.01.2014-31.12.2014 01.01.2015 2010-2013 Fortsetzung des Studiums der Informatik an der Humboldt-Universität zu Berlin Thema der Diplomarbeit: "Einsatz des Beweisassistenten Coq zur deduktiven Programmverifikation" 2009 - 2010 Studium der angewandten Informatik und Mathematik an der Grand Ecole ENSEEIHT in Toulouse (Frankreich) 2006-2009 Studium der Informatik mit Nebenfach Psychologie an der Humboldt-Universität zu Berlin 2006 Abitur am John-Lennon-Gymnasium in Berlin Publikationen 2015 Wolfgang Reisig, Kim Völlinger "Certification of Distributed Algorithms Solving Problems with Optimal Substructure" accepted paper, SEFM15
