Daniel is a research asssistant in the Department of Computing at Imperial College London, where he works in the Software Reliability Group under the supervision of Dr Cristian Cadar. He is especially interested in the applicability of Symbolic Execution to real world software.

He studied computer science at RWTH Aachen University and worked for several years as a researcher (Wissenschaftlicher Mitarbeiter) at the Chair of Communication and Distributed Systems at the same university.

Group Publications