Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Bart Jacobs (Index)
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).
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.
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.