nesta's CV

Papers

Localic Relations with Open Cones, 2026
Preprint, arXiv:2605.04038.

[arXiv]
Some Results on Causal Modalities in General Spacetimes, 2026
Proceedings of AiML 2026, EPTCS 447, pp. 584–602; with Marco Lewis.

[doi][arXiv]
Causal Coverage in Ordered Locales and Spacetimes, 2025
To appear in Journal of Mathematical Physics; with Chris Heunen.

[arXiv]
Ordered Locales, 2024
Journal of Pure and Applied Algebra, vol. 288(7), pp. 107654; with Chris Heunen.

[doi][arXiv]
Axioms for the category of Hilbert spaces and linear contractions, 2024
Bulletin of the London Mathematical Society, vol. 56(4), pp. 1532-1549; with Chris Heunen and Andre Kornell.

[doi][arXiv]
Diffeological Morita Equivalence, 2021
Cahiers de Topologie et Géométrie Différentielle Catégoriques LXII.2 (2021), pp. 177-238.

[journal][arXiv]

Talks

Localic Relations with Open Cones
Accepted talk at TACL 2026, 28 July 2026.
Causal Coverage
Accepted talk at LRB26, 15 July 2026; with Chris Heunen. [slides]
Some Results on Causal Modalities in General Spacetimes
Accepted talk at LRB26, 14 July 2026; with Marco Lewis. [slides]
Localic Esakia duality
Accepted talk at Logic Colloquium 2026, 30 June 2026. [slides]
A look at Tensor Topology
Informal expository lecture at QuaCS category theory seminar, 17 March, 2026.
Ordered Locales and Causal Coverage
Invited talk at QLOC seminar, 3 March 2026; with Chris Heunen.
Branching Temporal Logic and Spacetimes
Joint with Marco Lewis, QuaCS seminar, 6 June 2025.
An overview of ordered locales
QuaCS seminar, 23 January 2025.
Causal Coverage in Ordered Locales
Accepted talk at PSSL 109, 17 November 2024; with Chris Heunen. [slides]
Relativistic concepts in point-free spaces
Accepted talk at Causalworlds, 19 September 2024; with Chris Heunen and Prakash Panangaden. [recording]
Relativistic concepts in point-free spaces
Accepted talk at IQSA 2024, 26 July 2024; with Chris Heunen and Prakash Panangaden.
Relativistic concepts in point-free spaces
Invited talk at Oxford Quantum Lunch, 21 March 2024; with Chris Heunen and Prakash Panangaden. [slides]
Ordered Locales
Invited talk at the Birmingham Theory Seminar, 1 March 2024. [slides][abstract]
Ordered Locales
Edinburgh Category Theory Seminar, 8 November 2023; with Chris Heunen. [slides][abstract]
Towards Point-Free Spacetimes
Students in Theoretical and Mathematical Physics Seminar, 5 October 2023; with Chris Heunen and Prakash Panangaden. [abstract]
Axioms for the category of Hilbert spaces and linear contractions
Plenary talk at QPL 2023, 19 July 2023; with Chris Heunen and Andre Kornell. [slides]
Ordered Locales
Parallel talk at QPL 2023, 18 July 2023; with Chris Heunen. [ppt]
Axioms for the category of Hilbert spaces and linear contractions
Students in Theoretical and Mathematical Physics Seminar, 23 March 2023; with Chris Heunen and Andre Kornell. [slides]
Axioms for the category of Hilbert spaces and linear contractions
Edinburgh Category Theory Seminar, 18 January 2023; with Chris Heunen and Andre Kornell. [slides]
Abstract axioms for Hilbert spaces and linear contractions
Quantum Software Lab Workshop, 13 December 2022; with Chris Heunen and Andre Kornell. [event][slides][recording]
Sejny Summer Institute mini-lecture series
Short lecture series on causality in point-free topology at Sejny Summer Institute, July 2022. [slides]
Diffeology, Groupoids & Morita Equivalence
Department presentation of my MSc thesis, 26 June 2020. [slides]
Lie Groupoids II
Two-part lecture series on Lie groupoids at the Radboud Noncommutative Geometry Seminar, 8 December, 2018.
Lie Groupoids I
Two-part lecture series on Lie groupoids at the Radboud Noncommutative Geometry Seminar, 4 December, 2018.
Twisted Group C*-algebras and Projective Unitary Representations
Lecture for final project of course on C*-algebras, January 2018. [notes]
Differentiable Stacks
Lecture for master seminar course, 23 October 2017. [notes]
Classical and Quantum Particles in Galilean and Poincaré Spacetime
Department presentation of my BSc thesis, 12 June 2017. [slides]

Theses

Towards Point-Free Spacetimes, 2024
PhD thesis, University of Edinburgh, supervised by Chris Heunen, 10 May 2024.

[arXiv]
Diffeology, Groupoids & Morita Equivalence, 2020
MSc thesis, Radboud University, supervised by Klaas Landsman, June 2020. Main result published as [1].

[online]
Classical and Quantum Particles in Galilean and Poincaré Spacetime, 2017
BSc thesis, Radboud University, supervised by Klaas Landsman, August 2017.

[online]

Teaching

Tutor Adjoint School 2023
Joint research project on concurrency in monoidal categories for the Adjoint School, part of ACT 2023.
Teaching assistant University of Edinburgh, 2021-2022
- Proofs and Problem Solving
- Introduction to Linear Algebra
- Differentiable Manifolds (MSc)
Teaching assistant Radboud University, 2018-2020
- Introduction to Mathematics, Sep.2018-Nov.2018
- Topology, Jan.2019 - Jun.2019
- Introduction to Mathematics, Sep.2019-Nov.2019
- Continuous Matrix Groups, Jan.2020-Jul.2020

Employment

Postdoctoral Researcher, Inria Saclay QuaCS group, Laboratoire Méthodes Formelles, 2024-(2026)

Education

PhD Informatics, University of Edinburgh, 2020-2024
MSc Mathematics, Radboud University, 2017-2020
BSc Physics and Astronomy, Radboud University, 2013-2017
HBO Propedeuse Engineering Physics, Fontys Eindhoven, 2012-2013
HAVO High School, De Werkplaats Kindergemeenschap, 2007-2012
Primary School, OMS Den Dolder, 1999-2007

Languages

Dutch native
English fluent
اُردُوelementary

Misc. notes

Morita Equivalence and C*-correspondences
Literature study. Proves the characterisation of Morita equivalence of C*-algebras in terms of invertible bimodules, 2018-2020. [notes]
Twisted Group C*-algebras and Projective Unitary Representations
Final project for a course on C*-algebras. Gives an overview of the characterisation of projective unitary representations of locally compact Hausdorff groups in terms of twisted group C*-algebras, January 2018. [notes]