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
© Sima Jamshidi

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

Font size:
smaller
default
bigger