HOME | DEUTSCH | IMPRESSUM | KIT

Dipl.-Inform. Denis Lohner

photo

Contact

IPD Prof. Snelting

, Building 50.34

Am Fasanengarten 5

76131 Karlsruhe

Germany

Consultation Hours: nach Vereinbarung

Research interests

Formal semantics, static program analysis

Courses

Publications

2018

2017

2016

2010

2009

Projects

Advised thesis projects

assigned

running

finished