Working on infrastructure for the future: collaborative modeling, collective intelligence, networked mathematics, and safe deployment.

Joined January 2021
60 Photos and videos
Topos Institute is looking for a Postdoctoral Researcher to be based in Berkeley, California topos.institute/community/
5
18
2,905
Call for Applications: 2026 Summer RAs This year there are two tracks for Summer RAs: a research track and an engineering track. Positions are available for 8-10 weeks each, starting in June and ending in August. For more details, see our website: topos.institute/community/jo…

1
10
1,313
Two new jobs open at Topos Oxford: - Director of UK Operations (topos.institute/community/jo…) - Postdoc in compositional conceptual modelling (topos.institute/community/jo…) If you're interested in applying, or know somebody who might be, then please do share!
2
5
1,245
We’re excited to welcome B. Scot Rousse, a philosopher of technology, to Topos! Drawing on Heidegger and Merleau-Ponty, he’ll be joining our work on collective sense-making and AI. He also recently spoke at our colloquium on Language, Technology, and Care.
1
1
4
1,178
Check out B’s work here: without-why.ghost.io/

732
Check out our latest blog post by Hamidah Oderinwale (@didaoh) on the libraries of the future. She tackles key issues like version control, preserving procedural knowledge, and ensuring reproducibility in research. How can we rethink documenting discovery?
1
3
920
Thank you to @eric_is_weird for profiling Topos in FreakTakes! Brendan discusses our collaborative modeling mission, highlights projects like CatColab and safeguarded AI research with @ARIA_research, and announces an exciting operations role in Oxford. buff.ly/43h9WMI
1
7
680
We're building CatColab—software for collaborative formal modeling—leveraging Double Categorical Systems Theory (DCST) to co-design explainable, auditable AI systems.
1
1
3
569
Check out the interview here: buff.ly/3QEHg9a Learn more about our work on our website: buff.ly/3Vt8dPG

3
520
Every Thursday, we organize virtual colloquiums where we invite speakers to share their work. This week we hosted Andrew Dudzik, a research scientist @GoogleDeepMind, who discussed his research on Tensor Species, a category theory-based approach to designing neural networks.
1
3
11
660
Watch the livestream here: buff.ly/3EQQ9tB

1
2
397
🎉 Announcing CatColab 0.2: Wren! CatColab is a structured model editor for visualizing complex systems with domain-specific logics. Since October, we've implemented: - Users & permissions - Enhanced docs - New theories (e.g. Discrete exterior calculus) - and more!
2
3
15
776
Learn more and try it out here! buff.ly/41flfUB

2
432
Topos Institute retweeted
18 Oct 2024
We’re excited to announce the first set of R&D Creators for our Safeguarded AI programme, working on TA1.1. This group comprises 22 teams, spanning universities, startups and research organisations across the UK and abroad. But what exactly will they be working on? ↓ (1/4)
2
6
28
28,419
Topos Institute retweeted
1
4
10
1,832
If you're looking for a weekend read, consider checking out recent work on the Topos site from 2024 Summer RA, C.B. Aberlé, on polynomial universes and natural models.
9
527
We have finally combined our two websites into a single website: everything is now at topos.institute , but every link to a page on topos.site should now automatically 301 redirect to the corresponding page on topos.institute!
2
6
501
Three new blog posts in the last few months: a retrospective on a Topos/Oxford computer science meeting, a summary of the Poly@Work 2024 workshop, and an explanation of the mathematics behind UMAP. Check them all out at topos.site/blog/

2
19
2,172