Dr Y. Venema

About me
With a first degree in mathematics (Rijksuniversiteit Groningen, 1987) and a PhD in Logic (Universiteit van Amsterdam, 1992), I think of myself as a mathematical logician, with an interest in applications of logic in theoretical computer science. I am working as a full professor at the Institute for Logic, Language and Computation at the Universiteit van Amsterdam.

Research interests
As a logician I am most interested in modal logic and its (mathematical) foundations. In the last ten years most of my attention has been directed towards algebraic and coalgebraic aspects of modal logic. But I also hold an active interest in related areas such as logics of time and space, logic and game theory, automata and process theory.