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