HOME | ENGLISH | IMPRESSUM | KIT

Dipl.-Inform. Denis Lohner

photo

Kontakt

Tel.: +49 721 608-47399

Email: >>Bitte hier klicken<<

[ S/MIME ]

IPD Prof. Snelting

Raum 025, Gebäude 50.34

Am Fasanengarten 5

76131 Karlsruhe

Deutschland

Sprechzeiten: nach Vereinbarung

Arbeitsgebiete

Formale Semantik, Statische Programanalyse

Lehre

Veröffentlichungen

2017

2016

2010

2009

Projekte

Betreute Studien- und Abschlussarbeiten

vergeben

abgeschlossen