GradNova

D

Douglas Howe

Professor

Computer Science, Carleton University

Research Interests

Computability, Logic, AI Algorithms

Distributed Systems and Fault Tolerance

Formal Methods in Verification

Logic, Programming, and Type Systems

Logic, Reasoning, and Knowledge

Academic Metrics

Links

Grants