GradNova

Home
Find Faculty
Universities
Research
Home
/
Research
/

Computability, Logic, AI Algorithms

Computability, Logic, AI Algorithms

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

L
Classical Simulation of Quantum Circuits
Clifford Circuits
Low-Depth Circuits (classical and Quantum)
Semigroups and Automata Theory
+4
A
Ashwin Nayak

Professor, Combinatorics and Optimization and Quantum Computing

David R. Cheriton School of Computer Science

University of Waterloo

Complexity and Algorithms in Graphs
Computability, Logic, AI Algorithms
Quantum Computing Algorithms and Architecture
Quantum Information and Cryptography
+1
M
Michele Mosca

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
R
Computational Complexity Theory
Quantum Computing
Quantum Computing Algorithms and Architecture
Quantum Information and Cryptography
+3
J
Advanced Graph Theory Research
Complexity and Algorithms in Graphs
Computability, Logic, AI Algorithms
Interconnection Networks and Systems
+1
S
Alternatives to Worst-Case Complexity
Domain Adaptation and Transfer Learning
Fairness, Reliability and Interpretability of Machine Learning-Based Tools
Logic and Its Applications to Computer Science Theory
+7
A
Theoretical Computer Science
Complexity and Algorithms in Graphs
Advanced Graph Theory Research
Cryptography and Data Security
+2
C
Quantum Computing
Theoretical Computer Science
Quantum Computing Algorithms and Architecture
Quantum Information and Cryptography
+3
A
Cryptography
Quantum Computing
Quantum Computing Algorithms and Architecture
Quantum Information and Cryptography
+3
Z
Computational Complexity Theory
Complexity and Algorithms in Graphs
Computability, Logic, AI Algorithms
Cryptography and Data Security
+2
B
Computational Complexity
Cryptography
Logic in Computer Science
Theory of Computing
+5
S
Saty Raghavachary

Associate Professor of Computer Science Practice

Computer Science

University of Southern California

3D Shape Modeling and Analysis
Augmented Reality Applications
Computability, Logic, AI Algorithms
Reinforcement Learning in Robotics
+1
M
Action Observation and Synchronization
Computability, Logic, AI Algorithms
Language, Metaphor, and Cognition
Neural Dynamics and Brain Function
+1
S
Computability and Computational Complexity
Quantum Computing and Information
Computability, Logic, AI Algorithms
Quantum Computing Algorithms and Architecture
+3
L
Computational Complexity Theory (counting-Based Computation, Probabilistic Computation, Unambiguous Computation, the Importance of Query Order When Accessing Databases, the Study of Efficient Algorithms for Complex Sets, Complexity-Theoretic Aspects of Security, Fault-Tolerance, and Data Compression, Etc.)
Computational Social Choice (elections, Preference Aggregation, Power Indices, Etc.)
Complexity and Algorithms in Graphs
Computability, Logic, AI Algorithms
+3
S
AI-Based Problem Solving and Planning
Computability, Logic, AI Algorithms
Face and Expression Recognition
Logic, Programming, and Type Systems
+1
J
Bayesian Modeling and Causal Inference
Computability, Logic, AI Algorithms
Data Management and Algorithms
Game Theory and Voting Systems
+1
J
Advanced Graph Theory Research
Coding Theory and Cryptography
Complexity and Algorithms in Graphs
Computability, Logic, AI Algorithms
+1
Q
Chaos-Based Image/signal Encryption
Computability, Logic, AI Algorithms
Cryptography and Data Security
Quantum Computing Algorithms and Architecture
+1
D
Advanced Biosensing and Bioanalysis Techniques
Computability, Logic, AI Algorithms
DNA and Biological Computing
Gene Regulatory Network Analysis
+1
D
Education (educ)
Teaching and Learning Programming
Computability, Logic, AI Algorithms
Counseling, Therapy, and Family Dynamics
+2
C
Computability, Logic, AI Algorithms
Cryptography and Data Security
Quantum Computing Algorithms and Architecture
Quantum Information and Cryptography
+1
V
AI-Based Problem Solving and Planning
Computability, Logic, AI Algorithms
Logic, Reasoning, and Knowledge
Reinforcement Learning in Robotics
+1
O
Algorithms and Data Compression
Computability, Logic, AI Algorithms
DNA and Biological Computing
Logic, Programming, and Type Systems
+1
Previous
134
Next