SUPERVISION

Contact me or drop by for MSc projects on theory or applications of verification and validation techniques.

If (you think) you enjoy doing research (individually or in a small group) in the intersection of algorithms, logic, game theory or their application, but are not yet ready for the big final MSc project, there's always the option to do a capita selecta with me. Of course, you can also propose your own topics.



CURRENT AND PAST STUDENTS