Dave Clarke

I'm responsible for the following courses:

• Fundamentals of Computer Science
• Formele Systemen en hun Toepassingen (Formal systems and their applications)
• Capita Selecta Software Security (module Logical Methods for Security)