KNAW

Prof.dr. Y. Venema
Person

Prof.dr. Y. Venema

Expertise Mathematical logic
Expertise (NL) Mathematische logica
Digital Author ID info:eu-repo/dai/nl/074120093
Grants/prizes NWO-Vici 2005

Active as

Management
Organisation Institute for Logic, Language and Computation (UvA)
Professor
Organisation Institute for Logic, Language and Computation (UvA)
Chair (EN) Logic, in particular mathematical logic and foundations of computer science
Chair (NL) Logica in het bijzonder de mathematische logica en grondslagen van de informatica
Phone +31-20-5255299
Email Y. Venema -at- uva. nl
URL http://staff.science.uva.nl/~yde/

Publications

Current research

(the most recent research is at the top)
Project leader Algebra and Coalgebra: the mathematical environments of modal logic

Completed research projects

Classification


Go to page top
Go back to contents
Go back to site navigation