b. 1963
Yde Venema is a Dutch logician and professor at the Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam. He is known for his contributions to modal logic, algebraic logic, and the game-theoretic semantics of fixpoint logics.
Advanced the algebraic theory of modal logic and its connections to automata theory
Contributed to the study of modal fixpoint logics and parity games
Co-authored influential work on modal logic with Patrick Blackburn and Maarten de Rijke
Developed results on the expressive completeness of modal mu-calculus