| Titels | Prof. dr. |
| Initials | J.A. |
| Main position | Hoogleraar UvA |
| Disciplines | Logic, set theory and arithmetic |
| Software, algorithms, control systems | |
| Theoretical computer science | |
| Chair | Programmatuur en software engineering |
| Division | Science Division |
| Section | Mathematics Section |
| Membership | Member |
| Since | 2011 |
| Secretary of Mathematics Section | |
| Member of Committee Large-scale Research | |
| Member of Council for Technical Sciences, Mathematical Sciences and Informatics, Physics | |
| Member of Ethical & legal aspects of big data & research in information science Committee | |
| Employed by |
Universiteit van Amsterdam
Postbus 94214 1090 GE Amsterdam tel. 020 525 75 91 [email protected] |
| Personal website | |
| Research/publications |