Terug naar zoekresultaat

Organisatie

Sectie Theoretische Informatica

Pagina-navigatie:

Overzicht

Wijzig Organisatiedata

Behoort tot	Afdeling Informatica
Behoort tot	Faculteit der Exacte Wetenschappen
Behoort tot	Vrije Universiteit Amsterdam
Adres	De Boelelaan 1081a, 1081 HV Amsterdam
Routebeschrijving	Google Maps
Telefoon	+31-20-5987700
Fax	+31-20-5987653
URL	http://www.cs.vu.nl/tcs/index-en.html
Email	WJ. Fokkink -at- few. vu. nl

Personen

Hoogleraar	Prof.dr. W.J. Fokkink
Emeritus	Prof.dr. J.W. Klop
Universitair hoofddocent	Dr. R.C. de Vrijer

Lopend onderzoek

(het meest recente onderzoek is bovenaan geplaatst)
Opdrachtgever	Clock Semantics for Lambda Calculus
Penvoerder	A Term Rewriting Perspective on Program Termination
Penvoerder	Design and Analysis of Secure Distributed Protocols
Penvoerder	Lazy Productivity

Afgesloten onderzoek

(het meest recente onderzoek is bovenaan geplaatst)
Penvoerder	Het bewijzen van vergelijkingen voor cyclische objecten
Penvoerder	Geometrie van processen
Penvoerder	Verificatie van systemen
Penvoerder	Biografie van Aad van Wijngaarden

Classificatie

A90000	Zuiver-wetenschappelijk onderzoek
D16300	Theoretische informatica

Omhoog
Ga terug naar de inhoud
Ga terug naar de site navigatie