Theoretical Computer Science

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

People.

• drs. J. Endrullis
• prof.dr. W.J. Fokkink
• dr. C.A. Grabmayer
• drs. H.H. Hansen
• dr. R.D.A. Hendriks
• drs. A. Isihara
• prof.dr. J.W. Klop
• dr. F. van Raamsdonk
• prof.dr. J.J.M.M. Rutten
• dr. R.C. de Vrijer

Bachelor's Courses.

• formele structuren
• formele talen
• inleiding logica
• inleiding theoretische informatica
• 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
  • term graph rewriting
• coalgebras

Activities.

• Our weekly seminar.