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. The exceptional speed of this tool allows to shift code analysis completely left in the software development lifecycle, and scan for vulnerabilities as-you-type in the IDE via the Code Sight plug-in.

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.


Open-source tools

Kelinci, an interface for running AFL on Java programs.
JayHorn, a Horn-based verification tool for Java.
SPF-WCA, infers algorithmic complexity of Java methods. Based on Symbolic PathFinder.
ECAlogic, energy analysis of software-controlled systems.
ResAna, heap, stack and loop-bound analysis for Java.


Scientific peer-reviewed publications

Technical reports


Poster presentations

PhD Thesis