Professor of Software Security and Correctness Digital Security (DS) Group, Institute for Computing and Information Sciences, Radboud University Nijmegen, The Netherlands.
My book Introduction to Coalgebra. Towards Mathematics of States and Observations is now available from Cambridge Univ. Press.
Personal website: https://www.cs.ru.nl/B.Jacobs/
Publications
Books
B. Jacobs, Categorical Logic and Type Theory, Studies in Logic and the Foundations of Mathematics 141, North Holland, Elsevier, 1999.
Please contact Elsevier or Amazon for information on how to order this book
E. Dommering, B. Jacobs, K. Spaink and D. van Weelden, Wie is U?, The Next Ten Years, Deel 5, Nijgh & Van Ditmar/XS4ALL, Amsterdam, 2010.
B. Jacobs, Introduction to Coalgebra. Towards Mathematics of States and Observations. Cambridge Univ. Press, 2016.
An earlier draft version is freely available, so that you can get an impression.
B. Jacobs, De Menselijke Maat in ICT, 2007. Free online book, in Dutch.
Papers
J. van Dijck and B. Jacobs, Electronic identity services as sociotechnical and political-economic constructs, New Media and Society (NMS), to appear.
B. Bloem et al., The Personalized Parkinson Project: examining disease progression through broad biomarkers in early Parkinson's disease, BMC Neurology, 19:160, 2019.
[DOI link]
B. Jacobs, The Mathematics of Changing one's Mind, via Jeffrey's or via Pearl's update rule, Journal of Artifical Intelligence Research (JAIR), to appear.
[Arxiv preprint]
B. Jacobs, Learning along a Channel: the Expectation part of Expectation-Maximisation. In: B. König (ed), Mathematical Foundations of Program Semantics (MFPS 2019).
[local copy]
B. Jacobs and D. Sprunger, Neural Nets via Forward State Transformation and Backward Loss Transformation. In: B. König (ed), Mathematical Foundations of Program Semantics (MFPS 2019).
[Arxiv preprint]
K. Cho, B. Jacobs, Disintegration and Bayesian Inversion via String Diagrams, Mathematical Structures in Computer Science, 29(7), p.938-971, 2019.
[doi] [Arxiv preprint]
B. Jacobs, F. Zanasi and A. Kissinger, Causal Inference by String Diagram Surgery. In: M. Bojanczyk and A. Simpson (eds), FoSSaCS 2019, Springer LNCS 11425", p.313-329, 2019.
[DOI link]
[Arxiv preprint]
B. Jacobs and J. Popma, Medical research, Big Data and the need for privacy by design, Big Data and Society, 2019
[DOI link]
B. Jacobs, Lower and Upper Conditioning in Quantum Bayesian Theory, Conference on Quantum Physics and Logic (QPL 2018), EPTCS 287, p. 225-238, 2019.
[Online copy] [Arxiv preprint]
P. Wolters and B. Jacobs, The security of access to accounts under the PSD2, Computer Law & Security Review 35(1), p. 29-41, 2019.
[DOI link]
B. Jacobs, Categorical Aspects of Parameter Learning
[Arxiv preprint]
B. Jacobs, A Channel-based Exact Inference Algorithm for Bayesian Networks
[Arxiv preprint]
B. Jacobs and Bram Westerbaan, A Note on Distances between Probabilistic and Quantum distributions. In: A. Silva (ed), Mathematical Foundations of Program Semantics (MFPS 2017), ENTCS 336, p. 173-185, 2018.
[DOI link] [Arxiv preprint]
P. Wolters and B. Jacobs, De toegang tot betaalrekeningen onder PSD2 , Ondernemingsrecht 2018/38.
[Online copy] [local copy]
B. Jacobs and F. Zanasi, The Logical Essentials of Bayesian Reasoning
[Arxiv preprint]
B. Jacobs, P. Levy and J. Rot, Steps and Traces, Coalgebraic Methods in Computer Science (CMCS 2018), to appear.
[local copy]
R. Adams and B. Jacobs, A Type Theory for Probabilistic and Bayesian Reasoning. In: T. Uustalu (ed), 21st Int. Conf. on Types for Proofs and Programs (TYPES 2015), LIPIcs 69, p.1:1-1:34, 2018.
[LIPics link] [Arxiv preprint]
Opinion articles/columns/letters/blogs
Wet DO: achterhaald en nodeloos duur, iBestuur, 21/11/2018.
Contributed essay Je geld of je data!, together with Marcel Becker, in weekend supplement Letter en Geest of national newspaper Trouw, 24/6/2017. [Online copy] [local pdf copy]
AVG & eID, iBestuur, 6/6/2018.
Guest column Een blockchain aan je been in: SURF magazine, March 2018 [magazine link] [reproduced online copy].
Podcast Het woord is aan de Goeroe, on BNR Nieuwsradio, 20/2/2018.
Gespetter en gesputter met de AVG, iBestuur, 19/2/2018.
B. Jacobs. Quantum effect logic in cognition. Journ. Math. Psychology, 2017, published online.
K. Cho, B. Jacobs, Disintegration and Bayesian Inversion, Both Abstractly and Concretely, manuscript, 2017.
B. Jacobs, Hyper Normalisation and Conditioning for Discrete Probability Distributions. Logical Methods in Computer Science 13(3:17), 2017.
B. Jacobs, A Channel-Based Perspective on Conjugate Priors.
E. Verheul and B.Jacobs, Polymorphic Encryption and Pseudonymisation in Identity Management and Medical Research. Nieuw Archief voor Wiskunde NAW, 5/18, nr. 3, 2017, p. 168-172.
G. Alpár, F. van den Broek, B. Hampiholi, B. Jacobs, W. Lueks, S. Ringers. IRMA: practical, decentralized and privacy-friendly identity management using smartphones. 10th Workshop on Hot Topics in Privacy Enhancing Technologies (HotPETs 2017), Minneapolis, USA, 2017.
B. Jacobs, F. Zanasi, A Formal Semantics of Influence in Bayesian Reasoning. In: K. Larsen, H. Bodlaender and J.-F. Raskin (eds), Mathematical Foundations of Computer Science (MFCS), LIPIcs 83, 2017.
K. Cho, B. Jacobs, The EfProb Library for Probabilistic Calculations. In: F. Bonchi and B. König (eds), CALCO 2017. LIPIcs 72, 25:1-7, 2017 (Calco Tools session).
B. Jacobs, From Probability Monads to Commutative Effectuses. To appear in: Journ. of Logical and Algebraic Methods in Programming (JLAMP 156)
B. Jacobs, A Recipe for State-and-Effect Triangles. Logical Methods in Computer Science, 13(2), 2017
2016
K. Cho, B. Jacobs, Disintegration via Likelihood Relations, manuscript, 2016.
B. Jacobs, F. Zanasi, A Formal Semantics of Influence in Bayesian Reasoning, manuscript, 2016.
B. Jacobs and J. Mandemaker and R. Furber, The Expectation Monad in Quantum Foundations. In: Information and Computation, 250, p. 87-114.
B. Jacobs, From Probability Monads to Commutative Effectuses. To appear in: Journ. of Logical and Algebraic Methods in Programming (JLAMP 156)
F. van den Broek, B. Hampiholi, B. Jacobs, Securely derived identity credentials on smart phones via self-enrolment. In: G. Barthe and E. Markatos and P. Samarati (eds.), 12th International Workshop on Security and Trust Management (STM 2016), Springer LNCS 9871, p.106-121, 2016
B. Jacobs, Hyper Normalisation and Conditioning for Discrete Probability Distributions.
F.D. Garcia, B. Jacobs, The Fall of a Tiny Star. In: P. Ryan and D. Naccache and J.-J. Quisquater (eds.), The New Codebreakers - Essays Dedicated to David Kahn on the Occasion of His 85th Birthday, Springer LNCS 9100, p.69-87, 2016
W. Hino, H. Kobayashi, I. Hasuo and B. Jacobs. Healthiness from Duality. Logic in Computer Science (LICS) 2016.
E. Verheul, B. Jacobs, C. Meijer, M. Hildebrandt and J. de Ruiter, Polymorphic Encryption and Pseudonymisation for Personalised Healthcare, whitepaper, 2016.
B. Jacobs and Fabio Zanasi, A predicate/state transformer semantics for Bayesian learning. In: L. Birdedal (ed), Mathematical Foundations of Program Semantics (MFPS 2016), ENTCS 325, p.185-200, 2016.
B. Jacobs, Effectuses from Monads. In: L. Birdedal (ed), Mathematical Foundations of Program Semantics (MFPS 2016), ENTCS 325, p.169-183, 2016.
B. Jacobs and C. Löding (eds), Foundations of Software Science and Computation Structures (FoSSaCS 2016), Springer LNCS 9634, Berlin, 2016.
B. Jacobs, Affine Monads and Side-Effect-Freeness, In: I. Hasuo (ed.), Coalgebraic Methods in Computer Science (CMCS 2016), Springer LNCS 9608, p.53-72, 2016.
B. Jacobs and J. Mandemaker, Relating Operator Spaces via Adjunctions. In: J. Chubb, V. Harizanov, and A. Eskandarian (eds.), Logic and Algebraic Structures in Quantum Computing, Lect. Notes in Logic 45, Cambridge Univ. Press, p.123-150, 2016.
B. Jacobs, Select while you collect. Over de voorgestelde interceptiebevoegdheden voor inlichtingen- en veiligheidsdiensten, Nederlands Juristen Blad (NJB), afl. 4, p.256-261, 19 Jan. 2016 (in Dutch).
Opinion articles/columns/letters
P. van Koppen and B. Jacobs, Het Tapsysteem in Nederland en de Teeven-Tap, open letter to the Minister of Justice about phone tapping, 10 feb. 2015. [copy] [reaction of the minister] [TV item]
B. Jacobs, Aftercare for the Internet of Things. In: CSR Magazine 2, published by the Dutch Cyber Security Council, p.61-62, Jan. 2016.
Presentations
2019
Learning along a Channel: the Expectation part of Expectation-Maximisation, Mathematical Foundations of Program Semantics MFPS XXXV, London, 3-7 june, 2019.
[slides]
Electronic identities in Europe, Royal Institution, London, 21/2/2019.
[slides] [video]
IRMA in de zorg. Op weg naar een authenticatie doorbraak, Chipsoft's Samen naar beter zorg Festival, Amersfoort, 17/1/2019.
[slides]
2018
About Self-Sovereignty, PI.lab yearly meeting, Utrecht, 14/12/2018.
[slides]
What is probabilistic conditioning?, Artifical Intelligence Seminar Good Afternoon, Nijmegen, 6/12/2018.
[slides]
Het identiteitsplatform IRMA als voorbeeld van value-driven design, Vereniging voor Ethici Nederland (VvEN), Amsterdam, 9/11/2018.
[slides]
Categorical aspects of Parameter Learning, Erato MMSD group, Tokyo, 24/10/2018.
[slides] [Arxiv preprint]
An Update on Updating, Invited talk at Quantum Interaction workshop, Nice, 4/9/2018.
[slides] [video]
Coalgebras and Kleisli Maps for Probability, Invited talk at Coalgebra Now workshop at FLOCS'18, Oxford, 8/7/2018.
[slides]
Attribute-based Authentication and Signing with IRMA, Summer School on real-world crypto and privacy, Sibenik, Croatia, 15/6/2018.
[slides]
2017
Attribute-based Authentication and Signatures, Dcypher meeting, Utrecht, 4/10/2017.
Zorg voor Privacy!, RadboudUMC Grand Round, Nijmegen, 18 Sept. 2017.
Formal Semantics of Influence in Bayesian Reasoning, Mathematical Foundations of Computer Science (MFCS 2017), Aalborg, 21-25 Aug, 2017.
Disintegration, REPAS (REliable and Privacy-Aware Software systems) Workshop, Ljubljana, 13 june 2017.
A Note on Distances between Probabilistic and Quantum distributions, Mathematical Foundations of Program Semantics MFPS XXXIII, Ljubljana, 12-16 june, 2017.
Privacy and Politics, conference Legal Valley, Arnhem, 7 March 2017.
De publieke zaak in de digitale wereld (Public interests in the digital world), meeting of the Pirate Party of the Netherlands, Delft, 28 jan. 2017.
2016
Polymorphic Encryption and Pseudonymisation (PEP), version of sept. 2016.
Affine Monads and Side-Effect-Freeness, Coalgebraic Methods in Computer Science (CMCS), 2-3 April 2016, Eindhoven.
2015
eID-developments, PI.lab yearly meeting 2015, Utrecht, 11 dec. 2015.
Privacy-friendly Attribute-Based Authentication, NII Shonan meeting on: Logic and Verification Methods in Security and Privacy, Oct. 26-29, 2015, Shonan, Japan.
Identity is so overrated, Hogan Lovells Vrouwennetwerk, Amsterdam, 8 oct. 2015.
A Recipe for State and Effect Triangles, Conference on Algebra and Coalgebra in Computer Science (CALCO 2015), Nijmegen, 24-26 June 2015.
Effectus Theory, and Beyond, Amsterdam Quantum Logic Workshop 2015 (link), 7-8 May, 2015.
Secure self-enrolment via token step-up. IRMA meeting, Surnet, Utrecht, 16 jan. 2015.
2014
Public and Private Roles in a National e-Identity Infrastructure, Privacy and Identity Lab (PIlab.nl) yearly event, Amsterdam, 12 dec. 2014.
Big Data, Small Data, and Digital Care, KPN, The Hague, 27 oct. 2014.
Attributes in Action: Next generation of Electronic Idenitity Management, Trusted Cyber Collaboration Workshop (TSCP), 24-26 Sept. 2014, Washington.
Quantum predicates and instruments, Mathematical Foundations of Programming Semantics (MFPS XXX), Cornell University, 12-15 June 2014.
Perspectives on Categorical Quantum Logic, Prakash Fest: a conference in honour of Prakash Panangaden, on the occasion of his 60th birthday, Oxford, 13-25 May 2014.
Lectures on Kadison Duality, Spring School on Quantum Structures in Physics and Computer Science, Mathematical Institute, Oxford, 19-22 May 2014.
Dijkstra Monads in Monadic Computation, Coalgebraic Methods in Computer Science (CMCS 2014). April 5-6, 2014, Grenoble.
2013
Measurable Spaces and their Effect Logic, Logic in Computer Science (LICS 2013). June 25-28, 2013, New Orleans, USA.
Coalgebra and Quantum computation, Invited presentation in the MFPC-LICS Special Session on Coalgebra, Mathematical Foundations of Programming Semantics (MFPS 2013), New Orleans, June 23-25, 2013.
On Block Structures in Quantum Computation, Mathematical Foundations of Programming Semantics (MFPS 2013), New Orleans, June 23-25, 2013.
Grand Changes brought about by Computer Technology, 8th International IFIP Summer School on Privacy and Identity Management for Emerging Services and Technologies 17-21 June, 2013 in Berg en Dal, the Netherlands.
Computer Security. An interdisciplinary Field, Invited presentation at the research day of the Nijmegen School of Management, 5 June 2013, Nijmegen
IRMA Math, Invited lecture on national Kaleidoscoop meeting form mathematics students in NL, 17 May 2013, Nijmegen
Towards Practical Attribute-Based Identity Management: the IRMA Trajectory, Invited Keynote at: Policies & Research in Identity Management (IdMan 2013), 8-9 April 2013, Royal Holloway.
Cyber Security and Privacy, as part of the panel discussion Building The Digital Fortress: A Toolkit For Cyber Security, chaired by Sophie in 't Veld, Brussels, 23/1/2013.
2012
Cyber Security, Security conference SURFcert, SURFibo, Deventer, 10 feb. 2012
2011
Attribute-based Authentication, Govcert Symposium 2011, Rotterdam, 16 nov. 2011.
Cryptografie: ontwikkelingen en valkuilen bij gebruik, lecture given by Eric Verheul, on an adaptation of the signing set-up used by Certificate Authorities.
Introduction to Coalgebra, five lecture series at 16th Estonian Winter School in Computer Science EWSCS 2011, Estonia, 28/2 - 4/3, 2011.
2010
Privacy and Security Issues in e-ticketing, Invited talk at Workshop on Foundations of Security and Privacy FCS-PrivMod 2010, Edinburgh, 14-15 July 2010.
2009
Road Pricing Architectures, SURFnet and SURFibo two-day security conference, The Hage, 4-5 feb. 2010.
Other
PC member of Workshop on Security and Privacy in Cloud Computing (SPCC'10), Brussels.
PC member of IFIP WG 11.6 working conference on Policies & Research in Identity Management (IDMAN10, IDMAN07).
PC member of International Conference on E-voting and Identity Vote-Id 2009.
PC member for the workshop on Biometrics and Electronic Signatures BIOSIG 2009.
PC member of Conference on Algebra and Coalgebra in Computer Science Calco 2009, Calco 2007.
PC member of Tilting perspectives on regulating technologies, 10 - 11 December 2008, Tilburg University, Tilburg, the Netherlands.
PC member of European Symposium on Research in Computer Security (ESORICS) 2010.
PC member of the International Workshop on Formal Aspects in Security and Trust (FAST 2009).
PC member of Workshop on Information and System Security (WISSEC 2006), 8-9/11/2006, Antwerpen, Belgium.
PC member of International Colloquium on Automata, Languages and Programming (ICALP 2004).
PC member of Theorem Proving in Higher Order Logics (TPHOLs04, TPHOLs03, TPHOLs02, TPHOLs01, TPHOLs00, and TPHOLs99)
PC member of the Workshops on Coalgebraic Methods in Computer Science CMCS'03, CMCS'02, CMCS'01, CMCS'00, CMCS'99 and CMCS'98 at ETAPS.
PC member of Algebraic Methods and Software Technology (AMAST2002)
PC member of Mathematics of Program Construction (MPC2002)
PC member of Category Theory and Computer Science (CTCS2004, CTCS2002)
Co-organiser (together with Erik de Vink) of the 2001 IPA Springdays on security (April 18-20, Heeze, the Netherlands).
PC member of Logic in Computer Science 2000 (LICS'00.)
PC member of Foundations of Software Science and Computation Structures (FOSSACS'01)
Co-organiser and PC-chair of FMOODS'02.
Co-organiser of the workshops FTfJP'99 and FTfJP'00 on Formal Techniques for Java Programs, at the European Conference on Object-Oriented Programming ECOOP'99 and ECOOP'00 together with Gary T. Leavens (Iowa, USA), Arnd Poetzsch-Heffter (Hagen, Germany), Peter Mueller (Hagen, Germany) and Bart Jacobs.
Co-organiser of Precise Modelling and Deduction for Object-oriented Software Development (PMD'01) at IJCAR
Guest editor of a special issues of Theoretical Computer Science, containing a selection of the papers from CMCS'98 (TCS volume 260, issue 1-2). Similarly for CMCS'99 (TCS volume 280, issue 1-2).