Direkt zum InhaltDirekt zur SucheDirekt zur Navigation
▼ Zielgruppen ▼

Humboldt-Universität zu Berlin - Faculty of Mathematics and Natural Sciences - Welcome to SOAMED

 

Dipl.-Inf.

Kim Völlinger

 

 

Contact

Address:

Institut für Informatik
Humboldt Universität zu Berlin
Rudower Chaussee 25

12489 Berlin

Room: 4.106

Phone:

+49-30-2093-3069

Fax:

+49-30-2093-5484

Homepage: kim_voellinger

E-Mail:

voellinger(at)soamed.de

Education

Member at SOAMED:

Associate Member:

January 13, 2014 - Dezember 31, 2014

 

January 01, 2015

2010-2013

Computer Science at Humboldt-Universität zu Berlin

Title of Diploma Thesis:

"Einsatz des Beweisassistenten Coq zur deduktiven Programmverifikation"

2009 - 2010 Applied Computer Science and Mathematics at Grand Ecole ENSEEIHT in Toulouse (Frankreich)
2006-2009 Computer Science minor subject Psychology at Humboldt-Universität zu Berlin
2006 University-Entrance Diploma at John-Lennon-Gymnasium in Berlin

Publications

2017

Kim Völlinger and Samira Akili:

"Verifying a Class of Certifying Distributed Programs"

9th NASA Formal Methods Symposium, NFM 2017, USA, May 16-18, accepted

2015

Wolfgang Reisig, Kim Völlinger

"Certification of Distributed Algorithms Solving Problems with Optimal Substructure"

accepted paper, SEFM15