J.M.W. Rooduijn, 1992
doctor
| Name | J.M.W. Rooduijn |
|---|---|
| Full name | Johannes Maarten Willem |
| First name | Jan |
| Gender | male |
| Born | 1992, Amsterdam, Nederland |
| Link to this person | https://albumacademicum.uva.nl/en/id/d36238 |
Education
| Degree |
Jan. 31, 2024
|
|---|---|
| Exam level | promotie |
| Institution | Faculteit der Natuurwetenschappen, Wiskunde en Informatica
Universiteit van Amsterdam |
| Thesis | Fragments and frame classes : towards a uniform proof theory for modal fixed point logics |
| Supervisor(s) |
|
| Assistent supervisor(s) |
|