Humboldt-Universität zu Berlin - Mathematisch-Naturwissenschaftliche Fakultät - Willkommen bei SOAMED

 

 

Dipl.-Inf.

Kim Völlinger

 

KimVoellinger.JPG

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