Our Work
We create socially-aware solutions to real world problems through novel mathematical frameworks and computational tools that cut across disciplinary boundaries and facilitate high-fidelity communication. We coalesce a community of experts, and share their research with the world.
To advance the sciences of connection and integration, we draw on rich mathematical frameworks for modelling relationships, including category theory, topos theory, and type theory, as well as a long tradition of practical construction of tools in programming languages, machine intelligence, and ubiquitous computing.
To anticipate impacts and guide the powerful results towards the public interest, we draw on the expertise of science, technology, and society studies, technology ethics, and public policy experts.
Our impact comes from closing the feedback loop between cutting edge scientific research and society-at-large.
To carry out this mission, we have received over USD4M in grants from the Foundational Questions Institute, Survival and Flourishing Fund, US Air Force Office of Scientific Research, and Centre for Effective Altruism.
Our initial research themes are Connected Intelligence, Model-Based Computing, and Networked Mathematics.
For latest updates on our research, events, and other activities, see the Topos Lab.
The Topos Institute Colloquium highlights recent community research.
The Topos Model
We coalesce a socially-aware scientific community through four levels of activity:
Fundamental Research.
New discoveries in pure and applied mathematics and computer science.
Tool Building.
Software tools, platforms, and programming languages.
Application-ready frameworks.
Research and technology collaborations to solve problems within and across disciplines.
Public understanding and co-creation.
Educational activities, and dialogue with external societal stakeholders impacted through our work.