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.
Activities

I am a member of the Steering Committee of the organisations
AiML (Advances in Modal Logic),
and
TACL
(Topology, Algebra, and Categories in Logic).

I am an editor of the electronic journal
Logical Methods in Computer
Science,
a managing editor of the journal
Studia Logica,
an editor of the journal
Soft Computing,
and a corner editor of the
Journal of Logic and
Computation
for the area of Algebraic and Coalgebraic Logic.

In 2013 I serve on the Program Committee of
CALCO 2013
and
TACL 2013.

In 2012 I served on the Program Committee of
FoSSaCS 2012,
AiML 2012,
and
CMCS 2012,

In 2011 I served on the Program Committee of
WoLLIC 2011,
CALCO 2011,
GandALF 2011,
NCMPL 2011;
together with Achim Jung I chaired
TACL 2011.

In the fall semester of 2012 I teach a course Capita Selecta in Modal
Logic, which this year will be about modal fixpoint logics.
In the spring of 2013 I will teach a course on Model Theory
and a course Introduction to Mathematical Logic (in Dutch).

From 20062012 I was leading an NWO VICI research project entitled
Algebra and Coalgebra; the mathematical environments of modal logic.

Since September 2011 I serve as the scientific director of the
Institute for Logic, Language
and Computation .