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. 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; 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 and 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 Gerard Verschooten)

Nijmegen

• I teach:
  • a 3ec first-year mathematics course Wiskunde 1 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 3ec Huygens course on computer security (for the whole faculty); it is in the fall, of even years only;
  • a 6ec Category Theory master course, in the fall, every odd year only.
• I participate in a national master programme in computer security, together with the technical universities of Eindhoven and Twente. Furhter, I am coordinator for a Computer Security Theme for a master program (doctoraal) in computer science at Nijmegen.
• I am member of the research group Digital Security.
• If you are interested in studying computer or information science at Nijmegen, have a look at our iChallenge website (in Dutch), with a special security overview page.

Projects

• I am member of the daily board of the research programme Sentinels on computer security in the Nethelands, under auspices of the Technology Foundation STW.
• Projects, current and past.

Other

• There is a wikipedia page about me (in Dutch), containing some biographical information.
• Member of the Privacy and Identity Lab.
• Member of the National Cybersecurity Council, see the press announcement from June 2011 (in Dutch).
• Chair of the Advice Board (Raad van Advies) of the Dutch digital rights group Bits of Freedom.
• Board member of the Oophaga Foundation that stimulates the use of free certificates.
• Kids