direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

There is no English translation for this web page.

Wissenschaftliche Mitarbeiterin

Lupe

Dr. rer. nat. Kim Völlinger

Raum: TEL 707
Telefon: +49 30 314-73136
E-Mail: voellinger <AT> tu-berlin.de
Sprechstunde: auf Anfrage.

Aktuelle Forschung: Deduktive Verifikation neuronaler Netze mit dem Beweisassistenten Coq

 

 

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe

Auxiliary Functions