Webpage of Bart Jacobs

Professor of Software Security and Correctness
Digital Security (DS) Group, Institute for Computing and Information Sciences,
Radboud University Nijmegen, The Netherlands.

My book Introduction to Coalgebra. Towards Mathematics of States and Observations is now available from Cambridge Univ. Press.

Cyber Security Bachelor and Master

Nijmegen is the first university in the Netherlands with a bachelor programme in Cyber Security. Find out more information (in Dutch) and consider joining! A top Master in Cyber Security is jointly organised with the Technical University Eindhoven.


Research topics

My research concentrates on theoretical and practical aspects of security. On the theoretical side, my focus is on quantum logic and probabilistic computation, supported by an ERC Advanced Grant, see also the EfProb Python library for probabilistic computation. On the practical side, I'm interested in identity and privacy management, see eg. the IRMA project and video on attribute-based authentication (and also the bottom of this page), in security and privacy in personalised medicine (see the PEP technology), and in cyber security and intelligence and the broader societal aspects of computer security.

Research links

[picture of Bart Jacobs]
(photo by Anoek Bleumer)




IRMA in action

Here you can find out about my biggest dilemma in life. In order to proceed, you need to prove that you are over 18. This can be done via the cool IRMA technology. Get the app, obtain the relevant attributes, and prove that you are over 18.