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.

S
Computability, Logic, AI Algorithms
D
Daniel Roy

Professor Department of Computer and Mathematical Science, UTSC

Computer Science

University of Toronto

Deep Learning
Foundations of Machine Learning and Statistics
Game Theory
Information Theory
+11
T
Complexity Theory
Differential Privacy and Fairness
Machine Learning Theory
Proof Complexity
+6
U
Theoretical Computer Science
Quantum Computing Algorithms and Architecture
Complexity and Algorithms in Graphs
Quantum Information and Cryptography
+2
B
Benjamin C. Pierce

Professor; Henry Salvatori Professor; Computer

Computer Science

University of Pennsylvania

Advanced Software Engineering Methodologies
Computability, Logic, AI Algorithms
Logic, Programming, and Type Systems
Parallel Computing and Optimization Techniques
+1
H
Machine Learning
Neural Networks and Applications
Topic Modeling
Computability, Logic, AI Algorithms
+2
A
Computability, Logic, AI Algorithms
Nonlinear Dynamics and Pattern Formation
Quantum and Electron Transport Phenomena
Quantum Computing Algorithms and Architecture
+1
R
Advanced Graph Theory Research
Algorithms and Data Compression
Complexity and Algorithms in Graphs
Computability, Logic, AI Algorithms
+1
M
Computability, Logic, AI Algorithms
Engineering Education and Curriculum Development
Ethics in Business and Education
Ethics in Medical Practice
+1
K
Computability, Logic, AI Algorithms
Logic, Programming, and Type Systems
Logic, Reasoning, and Knowledge
Quantum Computing Algorithms and Architecture
+1
E
Computability, Logic, AI Algorithms
Software Engineering Research
Software Reliability and Analysis Research
Software System Performance and Reliability
+1
P
Algèbre
Analyse Des Algorithmes Et De La Complexité
Autres Informatique Théorique Et Mathématiques Computationnelles, N.c.a.
Informatique Théorique Et Mathématiques Computationnelles
+6
R
Applications De La Logique En Informatique : Logiques Modales, Automates
Modélisation Et Vérification De Systèmes Informatiques : Model Checking, Méthode Sat Et Algorithme Dpll, Applications En Télécommunications
Formal Methods in Verification
Service-Oriented Architecture and Web Services
+3
S
Combinatoire Des Mots
Combinatoire Énumérative
Géométrie Discrète
Protocoles Cryptographiques
+5
C
Advanced Wireless Network Optimization
Caching and Content Delivery
Computability, Logic, AI Algorithms
Cooperative Communication and Network Coding
N
Nengkun Yu

Associate Professor, SUNY Empire Innovation Scholar

Computer Science

Stony Brook University

Distributed Quantum Computing
Quantum Algorithms
Quantum Logic
Quantum Network
+5
S
Computability, Logic, AI Algorithms
Interconnection Networks and Systems
Quantum Computing Algorithms and Architecture
J
Julia Kempe

Silver Professor of Computer Science, Mathematics and Data Science

Computer Science

New York University

Data Mining
Machine Learning
Quantum Computing
Quantum Computing Algorithms and Architecture
+4
S
Salil P. Vadhan

Director of Graduate Studies, Computer Science

Computer Science

Harvard University

Coding Theory and Cryptography
Complexity and Algorithms in Graphs
Computability, Logic, AI Algorithms
Cryptography and Data Security
+1
B
Algorithms: On-Line, Parallel And/or Randomized
Concrete Complexity
Next Generation Network and Bioinformatics
Theory of Learning
+5
D
Computability, Logic, AI Algorithms
Logic, Programming, and Type Systems
Logic, Reasoning, and Knowledge
Quantum Computing Algorithms and Architecture
+1
J
Algorithms and Data Compression
Complexity and Algorithms in Graphs
Computability, Logic, AI Algorithms
Machine Learning and Algorithms
+1
G
Cryptography
Quantum Computing
Quantum Computing Algorithms and Architecture
Quantum Information and Cryptography
+3
D
Complexity and Algorithms in Graphs
Computability, Logic, AI Algorithms
Cryptography and Data Security
Machine Learning and Algorithms
+1
2

...

4
Next