Martin is a research assistant in the Department of Computing at Imperial College London, where he is working in the Software Reliability Group on many interesting topics mainly focusing on symbolic execution. Martin’s research interests include software reliability and automatic analysis of programs. Beside that, he is also interested in concurrent programming using transactional memory.

He is doing his PhD at Technische Universität Dresden; studied there and worked at the Systems Engineering Group at for multiple years.