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.
A Deterministic Memory Allocator for Dynamic Symbolic Execution
Floating-Point Symbolic Execution: A Case Study in N-version Programming
IEEE/ACM International Conference on Automated Software Engineering (ASE 2017)