„Meine Forschungsinteressen umfassen eine Schnittstelle zwischen Programmiersprache und Softwaresicherheit. Derzeit basiert meine Forschung darauf, Optimierungen für statische Analysen zu finden und die Möglichkeit zu untersuchen, dass sich statische Analysen für ein Zielprogramm selbst opitimieren.”