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 Formal Methods (FM) Group
Department of Mathematics and Computer Science
Technical University Eindhoven, The Netherlands.
One day per week.
Free book (in Dutch, with
title De Menselijke Maat in ICT) for a broad audience on issues
related to privacy, security and identity in relation to technological
and social trends.
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 or privacy); specification and verification; semantics
of programming, esp. for Java; smart cards, esp. Java cards; open
source software (like in CodeYard).
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).
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.