GradNova

GradNova

Find faculty who want students like you. Stop guessing — match with the right advisor.

Product

Find Faculty Universities Research Topics Sign In Claim Faculty Profile

Resources

FAQ Blog Contact Us

Legal

Privacy Policy Terms of Service

© 2026 GradNova. All rights reserved.

GradNova is not affiliated with any university. Match scores are AI-generated estimates.

Computability, Logic, AI Algorithms Research Faculty | GradNova

/

/

Computability, Logic, AI Algorithms

Computability, Logic, AI Algorithms

51 faculty research Computability, Logic, AI Algorithms on GradNova.

J

Joan Feigenbaum

Grace Murray Hopper Professor

Computer Science

Yale University

Computability, Logic, AI Algorithms

Modular Robots and Swarm Intelligence

Optimization and Search Problems

G

Professor

Computer Science

Worcester Polytechnic Institute

Discrete Mathematics

Theoretical Computer Science

Advanced Topology and Set Theory

+2

J

Assistant professor

Computer Science

Computability, Logic, AI Algorithms

Cryptography and Data Security

Quantum Computing Algorithms and Architecture

Quantum Information and Cryptography

+1

D

Dieter van Melkebeek

Professor

Computer Science

University of Wisconsin–Madison

Complexity and Algorithms in Graphs

Computability, Logic, AI Algorithms

Cryptography and Data Security

Machine Learning and Algorithms

+1

L

Assistant Professor

David R. Cheriton School of Computer Science

University of Waterloo

Algorithms and Data Compression

Computability, Logic, AI Algorithms

DNA and Biological Computing

Quantum Computing Algorithms and Architecture

+1

A

Professor, Combinatorics and Optimization and Quantum Computing

David R. Cheriton School of Computer Science

University of Waterloo

Computability, Logic, AI Algorithms

Machine Learning and Algorithms

Quantum Computing Algorithms and Architecture

Quantum Information and Cryptography

+1

M

Professor, Combinatorics and Optimization, Institute for Quantum Computing

David R. Cheriton School of Computer Science

University of Waterloo

Computability, Logic, AI Algorithms

Quantum Computing Algorithms and Architecture

Quantum Information and Cryptography

Quantum Mechanics and Applications

+1

J

Professor Emeritus

David R. Cheriton School of Computer Science

University of Waterloo

Advanced Graph Theory Research

Complexity and Algorithms in Graphs

Computability, Logic, AI Algorithms

Interconnection Networks and Systems

+1

A

Professor

Computer Science

University of Washington

Theoretical Computer Science

Complexity and Algorithms in Graphs

Advanced Graph Theory Research

Cryptography and Data Security

+2

B

Professor

Computer Science

University of Victoria

Computational Complexity

Foundations of Security

+6

E

Professor, Lecturer & Associate Director

School of Computing

University of Utah

High-Performance Computing (large Scale Data Management)

Parallel Computing and Optimization Techniques

Interconnection Networks and Systems

Computability, Logic, AI Algorithms

M

Computer Science

University of Southern California

Action Observation and Synchronization

Computability, Logic, AI Algorithms

Language, Metaphor, and Cognition

Neural Dynamics and Brain Function

+1

S

Stephen A. Fenner

Professor

Computer Science

University of South Carolina

Computational Complexity

Quantum Computing

+5

S

Shreya Banerjee

Assistant Professor

Computer Science

University of New Orleans

AI-Based Problem Solving and Planning

Computability, Logic, AI Algorithms

Face and Expression Recognition

Logic, Programming, and Type Systems

+1

J

Associate Chair, Professor

Computer Science

University of Kentucky

Bayesian Modeling and Causal Inference

Computability, Logic, AI Algorithms

Data Management and Algorithms

Game Theory and Voting Systems

+1

E

Elisabeth Stade

Teaching Professor

Computer Science

University of Colorado Boulder

Biomedical Text Mining and Ontologies

Computability, Logic, AI Algorithms

Experimental and Theoretical Physics Studies

Research Data Management Practices

+1

J

Associate Professor

Computer Science

University of Colorado Boulder

Advanced Graph Theory Research

Coding Theory and Cryptography

Complexity and Algorithms in Graphs

Computability, Logic, AI Algorithms

+1

Q

Computer Science

University of California San Diego

Computability, Logic, AI Algorithms

Quantum Information and Cryptography

Quantum Mechanics and Applications

D

Teaching Professor

Computer Science

University of California, Berkeley

Education (educ)

Teaching and Learning Programming

Computability, Logic, AI Algorithms

Counseling, Therapy, and Family Dynamics

+2

C

Assistant Professor

Computer Science

University of Calgary

Computability, Logic, AI Algorithms

Cryptography and Data Security

Quantum Computing Algorithms and Architecture

Quantum Information and Cryptography

+1

V

Computer Science

University of Alberta

AI-Based Problem Solving and Planning

Computability, Logic, AI Algorithms

Logic, Reasoning, and Knowledge

Reinforcement Learning in Robotics

+1

O

Oscar H. Ibarra

Distinguished Professor Emeritus

Computer Science

Univ. of California - Santa Barbara

Algorithms and Data Compression

Computability, Logic, AI Algorithms

DNA and Biological Computing

Logic, Programming, and Type Systems

+1

S

Assistant Professor

Computer Science

Tufts University

Continuous Variable Systems

Quantum Computational Complexity

Quantum Pseudorandomness

Quantum Computing Algorithms and Architecture

+4

L

Associate Professor

Computer Science

University of Texas - El Paso

Algorithms and Data Compression

Benford’s Law and Fraud Detection

Computability, Logic, AI Algorithms

Numerical Methods and Algorithms

+1