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