HOME | DEUTSCH | IMPRESSUM | KIT

Dipl.-Inform. Denis Lohner

photo

Contact

Phone: +49 721 608-47399

Email: >>please click this text<<

[ S/MIME ]

IPD Prof. Snelting

Room 025, Building 50.34

Am Fasanengarten 5

76131 Karlsruhe

Germany

Consultation Hours: nach Vereinbarung

Research interests

Formal semantics, static program analysis

Courses

Publications

2017

2016

2010

2009

Projects

Advised thesis projects

assigned

running

finished