Titels | Prof. dr. |
Initials | J.W. |
Main position | Emeritus hoogleraar VU |
Disciplines | Logic, set theory and arithmetic |
Computer science | |
Theoretical computer science | |
Computer systems, architectures, networks | |
Chair | Toegepaste logica |
Domain | Natural Sciences and Engineering |
Membership | Member |
Since | 2003 |
Vice-Chair of Arend Heyting Foundation | |
Member of Natural Sciences and Engineering | |
Employed by |
Vrije Universiteit Amsterdam
Faculteit der Exacte Wetenschappen De Boelelaan 1083 1081 HV Amsterdam JWKlop1945@kpnmail.nl |
Personal website | |
Research/publications |