My research is an interplay between understanding software and using this understanding to impact software processes, software artifacts, and, ultimately, software quality. In particular, in my PhD research I harnessed the knowledge about software systems incorporated in existing test cases to drive the automatic generation of new complex test cases at a low cost. In my post-doctoral research I employ program analysis to gain insights into program properties to drive software testing for complex real-world program binaries and mobile applications, and to develop systems with high quality and security guarantees.

Recent work

“Nothing in life is to be feared, it is only to be understood. Now is the time to understand more, so that we may fear less.”

Madame Marie Curie (1867-1934)