Bart Jacobs

Titels Prof. dr.
Initials B.P.F.
Main position Hoogleraar RU
Disciplines Mathematics
  Interdisciplinary sciences
  History and philosophy of the life sciences, ethics and evolution biology
  Computer systems, architectures, networks
  Computer science
  Theoretical computer science
  Technology in medicine and health care
  Philosophy
  Logic, set theory and arithmetic
Chair Security, Privacy and Identity
Domain Humanities
Membership Member
Member of Behavioural Sciences, Social Sciences and Law
Member of Humanities
Member of Natural Sciences and Engineering
Employed by Radboud Universiteit Nijmegen, Faculteit der Natuurwetenschappen, Wiskunde en Informatica
Faculteit der Filosofie, Theologie en Religiewetenschappen, afdeling iHub
Erasmusplein 1
6525 HT Nijmegen
tel.  024 365 2236
bart@cs.ru.nl
Personal website
Research/publications

With a background in mathematics and philosophy, Bart Jacobs is making an important contribution to quantum logic, type theory and programming languages. He is renowned for the elegance of his theories and models. In addition to his academic work, Jacobs is also socially engaged. For example, he investigated the security of the Dutch public transport chip card, was a member of an advisory committee on the future of voting (electronic or otherwise), and developed a privacy-friendly technique for website visitor identification. Jacobs has specifically emphasised the ethical and legal aspects of his technological work in recent years.