My main area of research is software engineering, with an emphasis on software testing and program analysis. My interests include the development of techniques for improving software reliability, security, and trustworthiness, and the validation of such techniques on real-world systems.

Before applying for this opportunity you need to submit your online profile. Click the button below to continue.