Bart Jacobs

Titels Prof. dr.
Voorletters B.P.F.
Hoofdfunctie Hoogleraar RU
Vakgebieden Geschiedenis en filosofie van de levenswetenschappen, ethiek, evolutiebiologie
  Logica, verzamelingen- en getallenleer
  Wijsbegeerte
  Informatica
  Technologie in de geneeskunde en gezondheidszorg
  Interdisciplinaire wetenschappen
  Theoretische informatica
  Wiskunde
  Computersystemen, architecturen, netwerken
Leeropdracht Security, Privacy and Identity
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.