LabCompass

PI directory

4 principal investigators, auto-profiled from public data.

Filtering by topic Logic, programming, and type systems — clear

Lawrence S. Moss

Computer Science · active through 2026

Logic, Reasoning, and KnowledgeLogic, programming, and type systemsSemantic Web and OntologiesActive
Amr Sabry

Computer Science · active through 2026

Logic, programming, and type systemsQuantum Computing Algorithms and ArchitectureComputability, Logic, AI AlgorithmsVery active
Carlo Angiuli

Computer Science · active through 2026

Logic, programming, and type systemsLogic, Reasoning, and KnowledgeHomotopy and Cohomology in Algebraic TopologySelective output
Chung-chieh Shan

Computer Science · active through 2023

Logic, programming, and type systemsLogic, Reasoning, and KnowledgeNatural Language Processing TechniquesSelective output