J.J. van Wamel, 1963
doctor
| Name | J.J. van Wamel |
|---|---|
| Full name | Jacobus Johannes |
| Gender | male |
| Born | 1963, Maarssen, Nederland |
| Publications | [UvA-catalogus] |
| Link to this person | https://albumacademicum.uva.nl/en/id/id053384 |
Education
| Education | Wiskunde en Informatica |
|---|---|
| Degree |
Sept. 15, 1995
|
| Exam level | promotie |
| Institution | Faculteit der Wiskunde en Informatica
Universiteit van Amsterdam |
| Thesis | Verification techniques for elementary data types and retransmission protocols |
| Keyword | telegrafie, datatransmissie, Datatransmissie, Protocollen (informatica), Verificatie, Procesalgebra |
| Supervisor(s) |
|
| Assistent supervisor(s) |
|
| Propositions | 10 |