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 aplications 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
-
Currently I am leading an NWO VICI research project entitled
Algebra and Coalgebra; the mathematical environments of modal logic.
-
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,
and a corner editor of the
Journal of Logic and
Computation
for the area of Algebraic and Coalgebraic Logic.
-
In 2011/2012 I will serve on the Program Committee of
WoLLIC 2011,
CALCO 2011,
GandALF 2011,
NCMPL 2011,
and FoSSaCS 2012;
together with Achim Jung I chair
TACL 2011.
-
In 2010 I served on the Program Committee of
CMCS 2010,
ASL Logic Colloquium 2010,
CSL 2010,
AiML 2010,
FICS 2010,
and
IFIP TCS 2010.
-
In the fall semester of 2011 I teach a course Capita Selecta in Modal
Logic, which this year will be about modal fixpoint logics.
In the spring of 2012 I will teach a course on Model Theory
and a course Introduction to Mathematical Logic (in Dutch).
-
Since September 2011 I serve as the scientific director of the
Institute for Logic, Language
and Computation .