GradNova

Universities

Research

Blog

Logic, Reasoning, and Knowledge

68 faculty research Logic, Reasoning, and Knowledge on GradNova.

2 3

Mostafa Milani

Assistant Professor

Computer Science

Western University

Data Cleaning and Access to Data

Database Systems and Data Management

With a Particular Focus on Data Quality

Data Quality and Management

+4

M

Mingi Jeong

Assistant Professor, Department of Aerospace and Ocean Engineering; assistant professor by courtesy, Department of Computer Science

Computer Science

Virginia Tech

Aging, Elder Care, and Social Issues

Health, Medicine and Society

Hermeneutics and Narrative Identity

Logic, Reasoning, and Knowledge

+1

A

Adithya Murali

Assistant Professor

Computer Science

University of Wisconsin–Madison

Formal Methods in Verification

Logic, Programming, and Type Systems

Logic, Reasoning, and Knowledge

Machine Learning in Bioinformatics

+1

G

Grant Weddell

Associate Professor

David R. Cheriton School of Computer Science

University of Waterloo

Advanced Database Systems and Queries

Data Management and Algorithms

Logic, Reasoning, and Knowledge

Natural Language Processing Techniques

+1

D

David Toman

Professor

David R. Cheriton School of Computer Science

University of Waterloo

Advanced Database Systems and Queries

Data Management and Algorithms

Logic, Reasoning, and Knowledge

Semantic Web and Ontologies

+1

S

Shai Ben-David

Professor, and University Research Chair

David R. Cheriton School of Computer Science

University of Waterloo

Logic, Programming, and Type Systems

Logic, Reasoning, and Knowledge

Mathematical and Theoretical Analysis

Semantic Web and Ontologies

B

Bruce Kapron

Professor

Computer Science

University of Victoria

Computational Complexity

Cryptography

Formal Methods

Foundations of Security

+6

B

Biplav Srivastava

Professor

Computer Science

University of South Carolina

Domain and User Models

Goal-Oriented Human-Machine Collaboration

Learning

Natural Interfaces

+6

H

Henry Kautz

Professor Emeritus of Computer Science

Computer Science

University of Rochester

Data Mining

Machine Learning

Mobile Computing

Logic, Reasoning, and Knowledge

+4

S

Stephanie Weirich

Professor

Computer Science

University of Pennsylvania

Formal Methods in Verification

Logic, Programming, and Type Systems

Logic, Reasoning, and Knowledge

Parallel Computing and Optimization Techniques

+1

Y

Yuliya Lierler, Ph.D.

Professor

Computer Science

University of Nebraska at Omaha

Constraint Satisfaction and Optimization

Logic, Programming, and Type Systems

Logic, Reasoning, and Knowledge

Multi-Agent Systems and Negotiation

+1

J

Jorge Fandinno, Ph.D.

Assistant Professor

Computer Science

University of Nebraska at Omaha

Advanced Algebra and Logic

Logic, Programming, and Type Systems

Logic, Reasoning, and Knowledge

Multi-Agent Systems and Negotiation

+1

G

Gopalan Nadathur

Professor

Computer Science

University of Minnesota

Advanced Algebra and Logic

Formal Methods in Verification

Logic, Programming, and Type Systems

Logic, Reasoning, and Knowledge

+1

G

Geoff Sutcliffe

Professor

Computer Science

University of Miami

Formal Methods in Verification

Logic, Programming, and Type Systems

Logic, Reasoning, and Knowledge

Parallel Computing and Optimization Techniques

+1

K

Keith Decker

Associate Professor

Computer Science

University of Delaware

AI-Based Problem Solving and Planning

Distributed and Parallel Computing Systems

Logic, Reasoning, and Knowledge

Multi-Agent Systems and Negotiation

+1

A

Ashutosh Trivedi

Associate Professor

Computer Science

University of Colorado Boulder

Formal Methods in Verification

Logic, Reasoning, and Knowledge

Machine Learning and Algorithms

Reinforcement Learning in Robotics

L

Luca De Alfaro

Professor

Computer Science and Engineering

University of California, Santa Cruz

Advanced Software Engineering Methodologies

Formal Methods in Verification

Logic, Programming, and Type Systems

Logic, Reasoning, and Knowledge

+1

V

Victor Vianu

Computer Science

University of California San Diego

Advanced Database Systems and Queries

Data Management and Algorithms

Logic, Programming, and Type Systems

Logic, Reasoning, and Knowledge

+1

S

Stuart J. Russell

Professor

Computer Science

University of California, Berkeley

Artificial Intelligence (ai)

Biosystems & Computational Biology (bio)

Control, Intelligent Systems, and Robotics (cir)

Bayesian Modeling and Causal Inference

+4

L

Lijie Chen

Assistant Professor

Computer Science

University of California, Berkeley

Theory (thy)

Complexity and Algorithms in Graphs

Logic, Reasoning, and Knowledge

Bayesian Modeling and Causal Inference

+2

R

Robin Cockett

Professor

Computer Science

University of Calgary

Advanced Algebra and Logic

Algebraic Structures and Combinatorial Models

Homotopy and Cohomology in Algebraic Topology

Logic, Programming, and Type Systems

+1