I am interested in designing formal techinques to enhance safety, security, and privacy 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 currently work in the Computer Security group at Centrum Wiskunde & Informatica. 

Information: