G. Menéndez Turata, 1994
doctor
| Name | G. Menéndez Turata |
|---|---|
| Full name | Guillermo |
| First name | Guille |
| Gender | male |
| Born | 1994, Tarragona, Spanje |
| Link to this person | https://albumacademicum.uva.nl/en/id/d36126 |
Education
| Education | Informatica |
|---|---|
| Degree |
Jan. 30, 2024
|
| Exam level | promotie |
| Institution | Faculteit der Natuurwetenschappen, Wiskunde en Informatica
Universiteit van Amsterdam |
| Thesis | Cyclic proof systems for modal fixpoint logics |
| Supervisor(s) |
|
| Assistent supervisor(s) |
|