| Titels | Prof. dr. |
| Initials | B.P.F. |
| Main position | Hoogleraar RU |
| Disciplines | Technology in medicine and health care |
| Philosophy | |
| Interdisciplinary sciences | |
| History and philosophy of the life sciences, ethics and evolution biology | |
| Logic, set theory and arithmetic | |
| Theoretical computer science | |
| Mathematics | |
| Computer systems, architectures, networks | |
| Computer science | |
| 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.