Martin is a research associate 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 did his PhD at Technische Universität Dresden; studied there and worked at the Systems Engineering Group at for multiple years.

Group Publications


  • Fine-grain Memory Object Representation in Symbolic Execution

    Martin Nowack

    Talk @ ASE 2019