Martin Nowack

Martin Nowack is a researcher at Imperial College London specializing in symbolic execution and software testing. He has been actively contributing to the field through conference publications and program committee service since 2019.

His research focuses on advancing symbolic execution techniques, particularly through the KLEE framework. His work addresses key challenges in making symbolic execution practical for real-world applications, including memory management, handling of floating-point operations, and deterministic state-space exploration. His contributions have appeared in top software engineering venues including ASE, ISSTA, and ECOOP.

Dr. Nowack has served in various organizational roles at major conferences, including as Program Committee member for ASE 2024 and ASE 2025, co-chair for KLEE 2024, and session chair for multiple conference tracks. His recent work shows a consistent focus on improving the effectiveness and practicality of symbolic execution for software verification and testing.