prof. dr. Y. Venema, 1963
professor, doctor
Name | Y. Venema |
---|---|
Full name | Yde |
Gender | male |
Born | 1963, Leeuwarden, Nederland |
Titles |
|
Publications | [UvA-catalogus] |
Link to this person | https://albumacademicum.uva.nl/en/id/id052699 |
Education
Education | Wiskunde en Informatica |
---|---|
Degree |
doctoraat
Jan. 17, 1992
|
Exam level | promotie |
Institution | Faculteit der Wiskunde en Informatica
Universiteit van Amsterdam |
Thesis | Many-dimensional modal logic |
Keyword | logica, verzamelingsleer, Modale logica, Multidimensionale systemen |
Supervisor(s) |
|
Gewoon hoogleraar Logica in het bijzonder de mathematische logica en grondslagen van de informatica Oct. 1, 2010
Appointment | gewoon hoogleraar |
---|---|
As of | Oct. 1, 2010 |
Chair | Logica in het bijzonder de mathematische logica en grondslagen van de informatica |
Inaugural lecture | Algebra en coalgebra:
Bespiegelingen in de logica
Nov. 28, 2011 |
Institution | Faculteit der Natuurwetenschappen, Wiskunde en Informatica
Universiteit van Amsterdam |
Discipline | mathematical logic, computer science: general |