GradNova

Home
Find Faculty
Universities
Research
Home
/
Universities
/
University of Waterloo
/

Shai Ben-David

S

Shai Ben-David

Professor, and University Research Chair

David R. Cheriton School of Computer Science, University of Waterloo

Research Interests

Logic, Programming, and Type Systems
Logic, Reasoning, and Knowledge
Mathematical and Theoretical Analysis
Semantic Web and Ontologies

Academic Metrics

Links

Grants