Frank is a doctoral student in the Department of Computing at Imperial College London, where he works in the Software Reliability Group under the supervision of Dr Cristian Cadar. His research interests include software analysis and testing, particularly dynamic symbolic execution.

He studied computer science at the Technische Universit√§t Dresden and worked for several years as Research Assistant in the Systems Engineering Group at the same university.

Group Publications