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

Mathys Rennela
Most of my work focuses on categorical quantum foundations
and semantics of (functional) programming languages, with a
particular interest for presheaftheoretic models

Sander Uijlen

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

Abraham Westerbaan

Robin Kaarsgaard
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.

Robert Furber