GradNova

Logic in Computer Science

6 faculty research Logic in Computer Science on GradNova.

N

Associate Professor

Computer Science

Towson University

Logic in Computer Science

Model-Based Design

Models of Computation

+6

G

Associate Professor

David R. Cheriton School of Computer Science

University of Waterloo

Logic in Computer Science

Query Evaluation in Both Closed and Open Worlds, With a Focus on View-Based Query Rewriting

Structured Data Integration, With a Focus on Entity Reference

Semantic Web and Ontologies

+4

D

Professor

David R. Cheriton School of Computer Science

University of Waterloo

Database and Information Systems

Knowledge Representation

Logic in Computer Science

Advanced Database Systems and Queries

+4

B

Professor

Computer Science

University of Victoria

Computational Complexity

Logic in Computer Science

Theory of Computing

+5

R

Roberto Giacobazzi

Professor

Computer Science

University of Arizona

Abstract Interpretation

History of Computing

Logic in Computer Science

Program Analysis and Verification

+7

H

Professor, Computer Science

Computer Science

Brandeis University

Functional Programming

Lambda Calculus

Logic in Computer Science