Susanne van den Elsen is a C++ software developer at Native Instruments, working on music production software. Before joining Native Instruments, she was a PhD student in the Rigorous Software Engineering group at the Max Planck Institute for Software Systems. There she did research on automated program verification and testing, with a focus on correctness guarantees for concurrent programs. In that context she developed a systematic testing tool for multithreaded C++ programs.
Testing and Verification of Concurrent Programs