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.

M
Bayesian Modeling and Causal Inference
Computability, Logic, AI Algorithms
Cryptography and Data Security
Fault Detection and Control Systems
+4
D
Theoretical Computer Science
Complexity and Algorithms in Graphs
Advanced Graph Theory Research
Cryptography and Data Security
+2
S
Scott Aaronson

Professor, David Bruton, Jr. Centennial Professorship in Computer Sciences #2

Computer Science

The University of Texas at Austin

Theoretical Computer Science
Quantum Computing Algorithms and Architecture
Computability, Logic, AI Algorithms
Quantum Information and Cryptography
+2
P
Pei Wang

Associate Professor of Instruction

Computer Science

Temple University

Instruction
Machine Learning
AI-Based Problem Solving and Planning
Computability, Logic, AI Algorithms
+3
R
Algorithms & Complexity
Complexity and Algorithms in Graphs
Computability, Logic, AI Algorithms
Semigroups and Automata Theory
+2
S
Advanced Bandit Algorithms Research
Complexity and Algorithms in Graphs
Computability, Logic, AI Algorithms
Machine Learning and Algorithms
+1
S
AI-Based Problem Solving and Planning
Computability, Logic, AI Algorithms
Logic, Reasoning, and Knowledge
Philosophy and Theoretical Science
+1
R
Robert Sedgewick

William O. Baker *39 Professor in Computer Science, Emeritus

Computer Science

Princeton University

Theoretical Computer Science
Algorithms and Data Compression
Parallel Computing and Optimization Techniques
Semigroups and Automata Theory
+2
R
Theoretical Computer Science
Complexity and Algorithms in Graphs
Cryptography and Data Security
Quantum Computing Algorithms and Architecture
+2
M
Economics & Computation
Theoretical Computer Science
Complexity and Algorithms in Graphs
Computability, Logic, AI Algorithms
+3
M
Advanced Graph Theory Research
Complexity and Algorithms in Graphs
Computability, Logic, AI Algorithms
Graph Theory and Applications
+1
D
David Juedes

Associate Dean for Academics, Professor

Computer Science

Ohio University

Advanced Graph Theory Research
Complexity and Algorithms in Graphs
Computability, Logic, AI Algorithms
Parallel Computing and Optimization Techniques
+1
B
Computability, Logic, AI Algorithms
Graph Labeling and Dimension Problems
Advanced Graph Theory Research
Complexity and Algorithms in Graphs
+1
R
Computational Complexity
Discrete Mathematics
Logic and Computation
Proof Complexity
+5
L
Probabilistic Analysis of Algorithms
Complexity and Algorithms in Graphs
Computability, Logic, AI Algorithms
Fuzzy Systems and Optimization
J
Algorithms and Data Compression
Benford’s Law and Fraud Detection
Computability, Logic, AI Algorithms
DNA and Biological Computing
+1
A
Amr Sabry

Director of Graduate Studies for Computer Science, Professor of Computer Science

Computer Science

Indiana University Indianapolis

Computability, Logic, AI Algorithms
Quantum Computing Algorithms and Architecture
Quantum Mechanics and Applications
B
Algorithms: On-Line, Parallel And/or Randomized
Concrete Complexity
Next Generation Network and Bioinformatics
Theory of Learning
+5
H
Henry Yuen

Srivani Family Associate Professor of Computer Science

Computer Science

Columbia University

Complexity Theory
Cryptography
Quantum Computation
Quantum Information
+5
J
Advanced Graph Theory Research
Complexity and Algorithms in Graphs
Computability, Logic, AI Algorithms
Logic, Programming, and Type Systems
+1
K
Cellular Automata and Applications
Computability, Logic, AI Algorithms
DNA and Biological Computing
Mathematical Dynamics and Fractals
+1
D
Architecture and Computational Design
European History and Politics
Structural Engineering and Vibration Analysis
Logic, Reasoning, and Knowledge
+4
D
Computability, Logic, AI Algorithms
Distributed Systems and Fault Tolerance
Formal Methods in Verification
Logic, Programming, and Type Systems
+1
A
Computability, Logic, AI Algorithms
Formal Methods in Verification
Logic, Programming, and Type Systems
Logic, Reasoning, and Knowledge
+1
Previous
13
Next