J.M.W. Rooduijn, 1992

doctor

Naam J.M.W. Rooduijn
Voornamen Johannes Maarten Willem
Roepnaam Jan
Geslacht man
Geboren 1992, Amsterdam, Nederland
Link naar deze persoon https://albumacademicum.uva.nl/id/d36238

Opleiding

Graad
31 januari 2024
Examentype promotie
Instelling
Faculteit der Natuurwetenschappen, Wiskunde en Informatica
Universiteit van Amsterdam
Proefschrift Fragments and frame classes : towards a uniform proof theory for modal fixed point logics
Promotor(en)
  • prof. dr. Y. Venema, Universiteit van Amsterdam
Copromotor(en)
  • dr. J.F. Marti, Universität Zürich
Terug naar zoek resultaten