I currently work in the Computer Security group at Centrum Wiskunde & Informatica.

I am interested in designing formal techinques to enhance software safety, security, and privacy. I am also interested in their theoretical limitations. For example, by Rice's theorem, checking nontrivial functional properties in a program is undecidable. Which formal tool or mathematical method is the best to use given a problem? When should other complimentary methods such as testing or machine learning be used?

💡I am looking for new research opportunities in software engineering. If you know of any relevant positions, I appreciate any recommendations.

Information: