| Titels | Prof. dr. |
| Voorletters | B.P.F. |
| Hoofdfunctie | Hoogleraar RU |
| Vakgebieden | Theoretische informatica |
| Wiskunde | |
| Interdisciplinaire wetenschappen | |
| Logica, verzamelingen- en getallenleer | |
| Technologie in de geneeskunde en gezondheidszorg | |
| Wijsbegeerte | |
| Geschiedenis en filosofie van de levenswetenschappen, ethiek, evolutiebiologie | |
| Computersystemen, architecturen, netwerken | |
| Informatica | |
| Leeropdracht | Security, Privacy and Identity |
| Domein | Geesteswetenschappen |
| Lidmaatschap | Lid |
| Lid van Domein Gedrags-, Maatschappij- en Rechtswetenschappen | |
| Lid van Domein Geesteswetenschappen | |
| Lid van Domein Natuur- en Technische Wetenschappen | |
| Verbonden aan |
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 |
| Persoonlijke website | |
| Onderzoek/publicaties |
Bart Jacobs levert vanuit een achtergrond in wiskunde en filosofie een belangrijke bijdrage aan (quantum)logica, typentheorie en programmeertalen. Hij staat bekend om de elegantie van zijn theorieën en modellen. Naast zijn wetenschappelijke werk is Jacobs ook maatschappelijk betrokken. Zo onderzocht hij de beveiliging van de ov-chipkaart, was hij lid van een adviescommissie rond de toekomst van (al dan niet elektronisch) stemmen, en ontwikkelde hij een privacyvriendelijke techniek om je te legitimeren bij websites. De laatste jaren betrekt Jacobs nadrukkelijk ethiek en recht bij zijn technische werk.