GradNova

G

Geoff Sutcliffe

Professor

Computer Science, University of Miami

Research Interests

Formal Methods in Verification

Logic, Programming, and Type Systems

Logic, Reasoning, and Knowledge

Parallel Computing and Optimization Techniques

Semantic Web and Ontologies

Academic Metrics

Links

Grants