Theoretical Computer Science

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

People

• drs. R. Bakhshi
• drs. N. Bonzanni (joint with Bioinformatics)
• drs. J. Endrullis
• prof.dr. W.J. Fokkink
• dr. R.D.A. Hendriks
• drs. A. Isihara
• prof.dr. J.W. Klop
• drs. C. Kop
• drs. E. Krepska (joint with Computer Systems)
• dr. F. van Raamsdonk
• prof.dr. J.J.M.M. Rutten
• dr. R.C. de Vrijer

Bachelor's Courses

• concurrency & multithreading
• datastructuren en algoritmen
• equationeel programmeren
• formele structuren (wordt niet meer gegeven)
• formele talen
• inleiding logica (wordt niet meer gegeven)
• inleiding theoretische informatica (wordt niet meer gegeven)
• logica en modelleren
• logische structuren
• voortgezette logica
• bachelorprojecten

Master's Courses

• distributed algorithms (gedistribueerde algoritmes)
• protocol validation (protocol validatie)
• logical verification (logische verificatie)
• term rewriting systems (termherschrijfsystemen)
• final term projects (afstudeerprojecten)

Master's program formal methods and software verification/
Afstudeerrichting formele methoden en software verificatie

• Informatie in het Nederlands.
• Information in English.

Research Interests

• system verification:
  • process algebra
  • proof checking
  • model checking
• rewriting:
  • first-order term rewriting
  • higher-order term rewriting
  • infinitary term rewriting
  • term graph rewriting
• coalgebras

Activities

• Our weekly seminar.