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

I am interested in designing formal techinques to enhance safety, security, and privacy issues in software systems. 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 job opportunities in software engineering and security. I appreciate any recommendations if you know of any relevant positions.

Information: