Welcome

Welcome to my personal website, which is permanently “under construction”, and where I collect some things that interest me, some things about me, and some completely unrelated things.

About me

I am driven to solve problems that are both challenging and impactful. As a mathematician, I developed a new foundational framework to unify structures found across pure mathematics and quantum physics. As a computer scientist, I care about mathematical and type-theoretic principles to bring greater rigor to software and data engineering.

News

The Past

• 04 Mar 2024. Our TypeQL paper got accepted at ACM SIGMOD/PODS’24! We hope to see you in Santiago de Chile later this year.
• 14 Jan 2024. I gave a lengthy ~2h talk on TypeDB’s data model, the last talk in our Fundamentals lecture series.
• 26 Nov 2023. We gave a Tech Talk at the Cambridge Computer Laboratory!
• 16 Nov 2023. I gave the first talk of our TypeDB Fundamental Lecture series.
• 15 Nov 2023. I gave an invited talk on manifold-diagrammatic mathematics (video) at the Center for Quantum and Topological Systems at NYU Abu Dhabi.
• 20 Oct 2023. We presented at ACM CIKM. Thank you to Ingo Frommholz for hosting our session!
• 15 Sep 2023. Our new TypeDB website launched! To also checkout our docs. Any feedback is much appreciated.
• 8 Jun 2023. Christoph Weis and I published a little project on the topic of deep reinforcement learning: HexBot !
• 1 Jun 2023. I gave a talk in the TallCat Seminar of Tallinn University of Technology titled “From zero to manifold diagrams” (video recording)
• 13 May 2023. New draft of expository paper: from zero to manifold diagrammatic-higher categories
• 3 April 2023. About to start a new job as ‘Head of Research’ at TypeDB
• 13 March 2023. New article An invitation to geometric higher categories
• 21 February 2023. New note: a Mazur manifold as a tangle.
• 10 February 2023. Drafted expository article: nine short stories about diagrammatic higher categories.
• 10 January 2023. Talk at the QTCat Seminar in Hamburg on “Diagrammatic Higher Categories”. handwritten notes
• 09 Nov 2022. Oxford mathematics research case study and corresponding tweet (with video) about our work
• 04 Nov 2022. Talk at Oxford Maths Fridays@4 on “Illustrating Mathematics”. Follow-along document Example Files
• 25 Oct 2022. Drafted two (fun) new notes: “towards computable manifolds” and “principles of higher-dimensional logic”.
• 13 Sep 2022. New paper draft: “A brief introduction to framed combinatorial topology”.
• 30 Aug 2022. Chris Douglas and I uploaded the “Manifold diagrams and tame tangles” preprint. It is accompanied by a note on the D4 singularity.
• 02 Jun 2022. I gave a talk at the Geometric Structures Lab at the Fields Institute, University of Toronto. Here’s the video (password: #d8=Wm40vV where # is the lowest dimension in which exotic smooth spheres have been constructed).
• 16 Mar 2022. I gave a talk at the TQFT Club at the University of Lisbon. Here’s the video.
• 29 Dec 2021. Chris Douglas and I uploaded the FCT book preprint
• 22 Nov 2021. I gave a talk in the Advanced topology class on “Generalized differential cohomology theories”.

The future

• TBD

Comment policy

Comments are enabled for most online notes (and some other pages on this website). Relevant and respectful comments are most welcome. You can also write mathematics in the comments.