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. New! Watch my TEDx video with title Fat, Dumb, Happy, and under Surveillance, delivered at TedxRadboudU in Nijmegen, on May 23, 2013. Cyber Security Bachelor Nijmegen is the first university in the Netherlands to start a bachelor programme in Cyber Security, in sept. 2013. Find out more information (in Dutch) and consider joining! (Since several years there is already an English-language master programma in cyber security.) General Contact info Research topics 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 attribute-based 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). Research links Publications: papers (local list with downloads, or Google Scholar list with citations), recent talks, but see also press contacts. I am an editor of the journal Theoretical Computer Science (see at ScienceDirect). I serve on several Program Committees

(photo by Anoek Bleumer)

Nijmegen

• I teach:
  • a 3ec first-year mathematics course Matrix Calculations in spring (for computer and information science and artificial intelligence);
  • a 6ec bachelor Computer Security Course, in the fall (for computer and information science);
  • a 6ec Category Theory master course, in the fall, every odd year only.
• I participate in the master programme in computer security, together with the technical universities of Eindhoven and Twente. It is highly recommended!
• I am member of the research group Digital Security, and of the Privacy and Identity Lab.
• If you are interested in studying computer science at Nijmegen, have a look at our information website (in Dutch).

Projects

• Recipient of an ERC Advanced Grant in 2012, on Quantum Computation, Logic, and Security.
• Projects, current and past.

Other

• There is a wikipedia page about me (in Dutch), containing some basic biographical information.
• Member of the (Informatics section of the) Academia Europaea since 2012 (see my personal page there, at the AE).
• Member of the Koninklijke Hollandsche Maatschappij der Wetenschappen (KHMW), since 2013.
• Member of the National Cybersecurity Council, see the press announcement from June 2011 (in Dutch), and also the awareness video from Nov. 2012.
• Recipient of the 2012 Huibregtsen award, for Science and Society. For this occasion a special short video has been made (by Andries Udink), see also wetenschap24 for more information.
• Chair of the Advice Board (Raad van Advies) of the Dutch digital rights group Bits of Freedom.
• Participant in online privacy documentary Panopticum, by Peter Vlemmix, oct. 2012.
• Recipient of the Dutch order of chivalry: Officer of Orange-Nassau.
• Kids (very old pictures)