Back to search results

Organisation

Section Theoretical Computer Science

Pagina-navigatie:

Main

Update Organisation Data

Part of	Afdeling Informatica
Part of	Faculteit der Exacte Wetenschappen
Part of	Vrije Universiteit Amsterdam
Address	De Boelelaan 1081a, 1081 HV Amsterdam
Get directions	Google Maps
Phone	+31-20-5987700
Fax	+31-20-5987653
URL	http://www.cs.vu.nl/tcs/index-en.html
Email	WJ. Fokkink -at- few. vu. nl

People

Professor	Prof.dr. W.J. Fokkink
Professor emeritus	Prof.dr. J.W. Klop
Associate professor	Dr. R.C. de Vrijer

Current research

(the most recent research is at the top)
Commissioner	Clock Semantics for Lambda Calculus
Secretariat	A Term Rewriting Perspective on Program Termination
Secretariat	Design and Analysis of Secure Distributed Protocols
Secretariat	Lazy Productivity
Secretariat	Proving equations for cyclic objects

All current research..

Completed research

(the most recent research is at the top)
Secretariat	Geometry of processes
Secretariat	Formal Verification of Distributed Systems
Secretariat	Biography of Aad van Wijngaarden

Classification

A90000	Fundamental research
D16300	Theoretical computer science

Go to page top
Go back to contents
Go back to site navigation