Bart Jacobs#


Bart Jacobs
Membership Number:3168
Membership type:ORDINARY
Section:INFORMATICS
Elected:2012
Main Country of Residence:THE NETHERLANDS
Homepage(s):http://www.cs.ru.nl/~bart





Present and Previous Positions

  • 2002 - present Professor of Software Security and Correctness, Radboud University Nijmegen
  • 2005 - 2011 Professor of Design and Verication of Secure Software Systems, Technical University Eindhoven (1 day per week)
  • 1997 - 2002 Research Fellow of the Royal Netherlands Academy of Arts and Sciences (KNAW), based at the Department of Computer Science, Radboud University of Nijmegen
  • 1996 - 1997 Lecturer at the Department of Computer Science, Radboud University of Nijmegen
  • 1994 - 1996 Post doc at the Center for Mathematics and Computer Science (CWI) in Amsterdam
  • 1992 - 1994 Post doc at the Department of Mathematics, University of Utrecht
  • 1991 - 1992 Research Associate at the Department of Pure Mathematics and Mathematical Statistics of Cambridge University (UK).
  • 1987 - 1991 PhD Researcher, Radboud University of Nijmegen

Fields of Scholarship
  • Smart cards, esp. Java cards, and their applications
  • Specification and verication for security protocols and software
  • Semantics of programming, mathematical basis of computing, esp. coalgebra and quantum computing
  • Identity and privacy management

Honours and Awards
  • 2012 Recipient of the Dutch order of chivalry: Officer of Orange-Nassau, for work on security
  • 2002 NWO Pioneer
  • 1997 Royal Netherlands Academy of Arts and Sciences (KNAW) fellowship

Imprint Privacy policy « This page (revision-9) was last changed on Monday, 14. June 2021, 13:59 by Kaiser Dana
  • operated by