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.

Professor of Design and Verification of Secure Software Systems
Department of Mathematics and Computer Science
Technical University Eindhoven, The Netherlands.
Formal appointment

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 crime; societal aspects of computer security (like electronic voting, see our 2006 expat internet election page, biometric passports, public transport cards or privacy); specification and verification; semantics of programming, esp. for Java; smart cards, esp. Java cards; open source software (like in CodeYard) and also theoretical computer science (esp. coalgebras).

General

Contact info

Research

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

Nijmegen

I teach a bachelor Computer Security Course, in the fall, and also a (new) Category Theory master course.
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

I am chairman of the Expert Group Nieuwe Stemtechnologie in het Stemlokaal of the Ministery of Internal Affairs (following earlier membership of the national voting process committee (Adviescommissie inrichting verkiezingsproces) that was appointed to redesign voting in the Netherlands, see the report).
I am board member of the Oophaga Foundation that stimulates the use of free certificates.
Kids

(photo by Gerard Verschooten)

Last modified: Fri Nov 17 11:33:04 MET 2006