CatColab v0.4: Robin
Since our last blog post about CatColab, we’ve had two releases, meaning we’re now at v0.4: Robin. This brings a few major new features, including compositional notebooks and novel analyses for Petri nets.
Social Impact Lead
Although my main mathematical research has previously focused on simplicial methods in geometry, I have a keen interest in understanding how we can use mathematics to make mathematics (and science, and knowledge in general) more accessible to all. Only by ensuring that we give power to a wide range of voices within our communities can we truly hope to build public goods (such as technology, research, and research environments) that support everybody, not just a select few.