Rody Kersten

Rody Kersten is a software engineering manager at Synopsys. With his team, he works on the Sigma static analysis engine, also known as Rapid Scan Static. He has received an M.Sc. (2010) and Ph.D. (2015) in Computer Science from Radboud University Nijmegen in The Netherlands. He is a former Postdoctoral Researcher at Carnegie Mellon University, and a former Assistant Professor at Open University of the Netherlands. His research interests include static analysis, formal verification, symbolic execution, and fuzz testing, with a focus on software resource consumption (time, memory, energy). As a software engineer, he has contributed to a variety of software analysis applications, including Synopsys' industry-leading Static Application Security Testing product Coverity.