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

Research

Nijmegen

  • I teach a 6ec bachelor Computer Security Course, in the fall (for computer and information science), and a 3ec Huygens course on computer security for a broader audience. Every odd year in the fall there is a 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

 [picture of Bart Jacobs]
(photo by Gerard Verschooten)

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