TINon-profit · founded 2019Topos InstituteBerkeley · topos.instituteFollowManage this pageCitations, last 5 years198Works, last 5 years93h-index10Scientists listed3Grants since 20160OverviewPeople 3Grants 0Departments 0Strongest research topicsLogic, programming, and type systems63Computer ScienceAdvanced Algebra and Logic44Computer ScienceLogic, Reasoning, and Knowledge23Computer ScienceHomotopy and Cohomology in Algebraic Topology21MathematicsComputability, Logic, AI Algorithms10Computer ScienceTopic Modeling9Computer ScienceMost cited scientists, last five yearsEPEvan PattersonTopos InstituteComputer Science85citations, 5 yrs24works, 5 yrs8h-indexBRB. Scot RousseTopos InstitutePsychology10citations, 5 yrs6works, 5 yrs6h-indexKBKristopher S. BrownTopos InstituteComputer Science7citations, 5 yrs4works, 5 yrs7h-index