KNAW

Prof.dr. Y. Venema
Persoon

Prof.dr. Y. Venema

Expertise Mathematische logica
Expertise (EN) Mathematical logic
Digital Author ID info:eu-repo/dai/nl/074120093
Subsidies/prijzen NWO-Vici 2005

Werkzaam als

Directie / Management
Organisatie Institute for Logic, Language and Computation - ILLC (UvA)
Hoogleraar
Organisatie Institute for Logic, Language and Computation - ILLC (UvA)
Leeropdracht (NL) Logica in het bijzonder de mathematische logica en grondslagen van de informatica
Leeropdracht (EN) Logic, in particular mathematical logic and foundations of computer science
Telefoon +31-20-525 5299
Email Y. Venema -at- uva. nl
URL http://staff.science.uva.nl/~yde/

Publicaties

Lopende onderzoeksactiviteiten

(de meest recente activiteit is bovenaan geplaatst)
Projectleider Algebra and Coalgebra: the mathematical environments of modal logic

Afgesloten onderzoeksactiviteiten

(de meest recente activiteit is bovenaan geplaatst)
Onderzoeker GLoRiClass: Games in Logic Reaching Out for Classical Game Theory
Onderzoeker Speltheorie en communicatie
Onderzoeker Constructieve en intensionele logica

Classificatie


Omhoog
Ga terug naar de inhoud
Ga terug naar de site navigatie