Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

Topos Institute | Researchclopedia

Back to institutions

Topos Institute

Berkeleynonprofit

200

Works

227

Citations

9

h-index

Top Research Topics

Logic, programming, and type systems Logic, Reasoning, and Knowledge Homotopy and Cohomology in Algebraic Topology

Top Researchers

Dana Scott Molecular Sciences Institute

200 works12,441 citationsh-index: 46

Recent Research

AlgebraicJulia/Catlab.jl: v0.17.5

Evan Patterson,Owen Lynch,et al.

20260 citations

Advanced Algebra and Logic

Semantic Web and Ontologies

Polynomial and algebraic computation

Advanced Differential Equations and Dynamical Systems

Formal Methods in Verification

Computability, Logic, AI Algorithms

Natural Language Processing Techniques

Philosophy and History of Science

Valeria de Paiva Shanghai Jiao Tong University

177 works2,636 citationsh-index: 25

Alberto Speranzon Lockheed Martin (United States)

82 works1,570 citationsh-index: 17

David I. Spivak International Computer Science Institute

155 works1,457 citationsh-index: 20

42 works1,180 citationsh-index: 18

Kristopher Brown Topos

19 works836 citationsh-index: 7

Dependent Directed Wiring Diagrams for Composing Instantaneous Systems

Keri D'Angelo,Sophie Libkind

20260 citations

Exergetic Port-Hamiltonian systems modeling language

Markus Lohmayer,Owen Lynch,et al.

20250 citations

AlgebraicJulia/Catlab.jl: v0.17.4

Evan Patterson,Owen Lynch,et al.

20250 citations

AlgebraicJulia/Catlab.jl: v0.17.3

Evan Patterson,Owen Lynch,et al.

20250 citations

Representable functors from the category of sets

Nelson Niu,David I. Spivak

20250 citations