PI directory
2 principal investigators, auto-profiled from public data.
Filtering by topic Advanced Algebra and Logic — clear
Computer Science · active through 2026
Logic, Reasoning, and KnowledgeLogic, programming, and type systemsSemantic Web and OntologiesActive
Computer Science · active through 2026
Logic, programming, and type systemsLogic, Reasoning, and KnowledgeHomotopy and Cohomology in Algebraic TopologySelective output