prof. dr. Y. Venema, 1963
hoogleraar, doctor
| Naam | Y. Venema |
|---|---|
| Voornamen | Yde |
| Geslacht | man |
| Geboren | 1963, Leeuwarden, Nederland |
| Titulatuur |
|
| Publicaties | [UvA-catalogus] |
| Link naar deze persoon | https://albumacademicum.uva.nl/id/id052699 |
Opleiding
| Opleiding | Wiskunde en Informatica |
|---|---|
| Graad |
doctoraat
17 januari 1992
|
| Examentype | promotie |
| Instelling | Faculteit der Wiskunde en Informatica
Universiteit van Amsterdam |
| Proefschrift | Many-dimensional modal logic |
| Trefwoord | logica, verzamelingsleer, Modale logica, Multidimensionale systemen |
| Promotor(en) |
|
Gewoon hoogleraar Logica in het bijzonder de mathematische logica en grondslagen van de informatica 1 oktober 2010
| Benoeming | gewoon hoogleraar |
|---|---|
| Ambtsaanvaarding | 1 oktober 2010 |
| Leeropdracht | Logica in het bijzonder de mathematische logica en grondslagen van de informatica |
| Oratie / openbare les | Algebra en coalgebra:
Bespiegelingen in de logica
28 november 2011 |
| Instelling | Faculteit der Natuurwetenschappen, Wiskunde en Informatica
Universiteit van Amsterdam |
| Wetenschappelijke discipline | wiskundige logica, informatica: algemeen |