PI directory
3 principal investigators, auto-profiled from public data.
Filtering by topic Formal Methods in Verification — clear
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