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 organisation
TACL
(Topology, Algebra, and Categories in Logic).
-
I am a managing editor of the journal
Studia Logica,
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 2006-2012 I was leading an NWO VICI research project entitled
Algebra and Coalgebra; the mathematical environments of modal logic.