Jacobs

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.