PI directory
4 principal investigators, auto-profiled from public data.
Filtering by topic Logic, Reasoning, and Knowledge — 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 systemsQuantum Computing Algorithms and ArchitectureComputability, Logic, AI AlgorithmsVery active
Computer Science · active through 2026
Logic, programming, and type systemsLogic, Reasoning, and KnowledgeHomotopy and Cohomology in Algebraic TopologySelective output
Computer Science · active through 2023
Logic, programming, and type systemsLogic, Reasoning, and KnowledgeNatural Language Processing TechniquesSelective output