HOME | DEUTSCH | IMPRESSUM | KIT

Dr.-Ing. Dennis Giffhorn

photo

Contact

Email:

Room 031

Research interests

I am working on the VALSOFT/JOANA project, where i am focusing on the analysis of concurrent Java programs.

Slicing of concurrent programs.

I am evaluating and developing various slicing algorithms for concurrent programs with shared memory.

Information Flow Control for concurrent programs.

Currently i am working on a slicing-based method that inspects if concurrent programs satisfy probabilistic noninterference.

Courses

Publications

2015

2014

2012

2011

2009

2008

2007

Projects

Advised thesis projects

assigned