Current members

prof. Bart Jacobs
My research concentrates on correctness and security properties
of software. Other, related topics of interest are: logic,
esp. for security, supported by theorem proving; identity and
privacy management (see eg. the IRMA project on attributebased
authentication); cyber security and intelligence; societal
aspects of computer security; specification and verification;
semantics of programming, esp. for Java; smart cards, esp.
Java cards; and also theoretical computer science (esp.
coalgebras and quantum computing).

dr. Aleks Kissinger
My primary research areas are category theory, quantum
information, graphical calculi, and graph rewriting. To this
end, my research falls under three threads: Graphical Languages
and Higher Categories, the Graphical Structure of Entanglement,
and Graph Rewriting and Automation.

Kenta Cho

dr. Abraham Westerbaan

John van de Wetering
My research focuses on quantum computation and foundational
questions regarding quantum theory, in particular the question
of why nature is (or has to be) the way it is.
Former members

dr. Sam Staton

dr. Robin Adams
I am interested in giving semantics to quantum computing,
and the analogies that Prof. Jacobs has discovered between
the appropriate logic for doing this, and the logics for
probabilistic and classical reasoning, the socalled
stateandeffect triangles. I am creating a syntax for these
triangles, provisionally entitled QPEL (Quantum Programming
and Effect Logic).
My research has also been in the area of type theory. I
have become fascinated with the perspective on logic that
it provides, from which proofs appear, not as static lists
of statements, but as active computational agents, performing
calculations both on ordinary mathematical objects and on
one another. I am interested primarily in the metatheory
of type theory, but also in its use for formalisation in
practice, implementated in proof checkers.

dr. Robert Furber

dr. Robin Kaarsgaard

dr. Mathys Rennela

dr. Bas Westerbaan
My current research interest is to find and abstract
structure in the category of von Neumann algebra
with completely positive maps.

Sander Uijlen