Theoretical Computer Science

Theoretical Computer Science
Department of Computer Science
Faculty of Sciences
Vrije Universiteit
De Boelelaan 1081 a
1081 HV Amsterdam

People

• Dr. Joerg Endrullis
• Prof.dr. Wan Fokkink
• Daniel Gebler
• Dr. Dimitri Hendriks
• Ir. Matty Huntjens
• Prof.dr. Jan Willem Klop
• Dr. Bas Luttik (guest from the TU/e)
• Archana Nottamkandath
• Dr. Andrew Polonsky
• Dr. Femke van Raamsdonk
• Stefan Vijzelaar (joint with Computer Systems)
• Dr. Roel de Vrijer
• Dr. David M. Williams

BSc Courses

• automaten en complexiteit
• concurrency & multithreading (BSc)
• datastructuren en algoritmen
• equationeel programmeren
• logica en modelleren
• logische structuren
• BSc projecten

MSc Courses

• advanced logic
• concurrency & multithreading (MSc)
• distributed algorithms
• logical verification
• protocol validation
• term rewriting systems
• MSc projects

MSc program Formal Methods and Software Verification

Activities

• Our weekly seminar.