Philipp Berger

berger at
Room 4203
Ahornstraße 55
D-52074 Aachen
+49 241 80 21206

I am a PhD student at the Software Modeling and Verification Group (MOVES) headed by Professor J.-P. Katoen.

I am primarily interested in software model-checking of C code. I worked on a project with Ford Motor Company (feasibility analysis on two case studies based on software component prototypes).

Together with my master student Jan Švejda we participated in SV-COMP 2020 with our Violation Witness Validator NITWIT!