GradNova

C

Clement Aubert, PhD

Associate Professor

Computer Science, Augusta 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