GradNova

Home
Find Faculty
Universities
Research
Home
/
Research
/

Computability, Logic, AI Algorithms

Computability, Logic, AI Algorithms

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

J
Computability, Logic, AI Algorithms
Modular Robots and Swarm Intelligence
Optimization and Search Problems
G
Discrete Mathematics
Graph Theory
Theoretical Computer Science
Advanced Topology and Set Theory
+2
J
Computability, Logic, AI Algorithms
Cryptography and Data Security
Quantum Computing Algorithms and Architecture
Quantum Information and Cryptography
+1
D
Complexity and Algorithms in Graphs
Computability, Logic, AI Algorithms
Cryptography and Data Security
Machine Learning and Algorithms
+1
L
Algorithms and Data Compression
Computability, Logic, AI Algorithms
DNA and Biological Computing
Quantum Computing Algorithms and Architecture
+1
A
Ashwin Nayak

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
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
J
Advanced Graph Theory Research
Complexity and Algorithms in Graphs
Computability, Logic, AI Algorithms
Interconnection Networks and Systems
+1
A
Theoretical Computer Science
Complexity and Algorithms in Graphs
Advanced Graph Theory Research
Cryptography and Data Security
+2
B
Computational Complexity
Cryptography
Formal Methods
Foundations of Security
+6
E
Erin Parker

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
Action Observation and Synchronization
Computability, Logic, AI Algorithms
Language, Metaphor, and Cognition
Neural Dynamics and Brain Function
+1
S
Computability
Computational Complexity
Information
Quantum Computing
+5
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
E
Biomedical Text Mining and Ontologies
Computability, Logic, AI Algorithms
Experimental and Theoretical Physics Studies
Research Data Management Practices
+1
J
Advanced Graph Theory Research
Coding Theory and Cryptography
Complexity and Algorithms in Graphs
Computability, Logic, AI Algorithms
+1
Q
Computability, Logic, AI Algorithms
Quantum Information and Cryptography
Quantum Mechanics and Applications
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
S
Continuous Variable Systems
Quantum Computational Complexity
Quantum Pseudorandomness
Quantum Computing Algorithms and Architecture
+4
L
Algorithms and Data Compression
Benford’s Law and Fraud Detection
Computability, Logic, AI Algorithms
Numerical Methods and Algorithms
+1
23
Next