G. Menéndez Turata, 1994

doctor

Naam G. Menéndez Turata
Voornamen Guillermo
Roepnaam Guille
Geslacht man
Geboren 1994, Tarragona, Spanje
Link naar deze persoon https://albumacademicum.uva.nl/id/d36126

Opleiding

Opleiding Informatica
Graad
30 januari 2024
Examentype promotie
Instelling
Faculteit der Natuurwetenschappen, Wiskunde en Informatica
Universiteit van Amsterdam
Proefschrift Cyclic proof systems for modal fixpoint logics
Promotor(en)
  • prof. dr. Y. Venema, Universiteit van Amsterdam
Copromotor(en)
  • dr. B. Afshari, University of Gothenburg
Terug naar zoek resultaten