HOME | ENGLISH | IMPRESSUM | KIT

Dr.-Ing. Dennis Giffhorn

photo

Kontakt

Email: >>Bitte hier klicken<<

Raum 031

Arbeitsgebiete

Ich arbeite am VALSOFT/JOANA Projekt, welches sich mit der Analyse von Java-Programmen befasst, und beschäftige mich dort mit der Analyse nebenläufiger Java-Programme.

Slicing nebenläufiger Programme.

Präzises Slicing nebenläufiger Programme erfordert komplexe und zeitaufwendige Algorithmen. Ich evaluiere existierende Algorithmen und entwickle neue Optimierungen.

Information Flow Control für nebenläufige Programme.

Zurzeit arbeite ich an der Entwicklung von auf Slicing basierenden Verfahren, die nebenläufige Programme auf Informationslecks überprüfen.

Lehre

Veröffentlichungen

2015

2014

2012

2011

2009

2008

2007

Projekte

Betreute Studien- und Abschlussarbeiten

vergeben