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
Continuous Variable Systems
Quantum Computational Complexity
Quantum Pseudorandomness
Quantum Computing Algorithms and Architecture
+4
M
Computational Complexity
Cryptography
Theoretical Computer Science
Computability, Logic, AI Algorithms
+4
L
Algorithms and Data Compression
Benford’s Law and Fraud Detection
Computability, Logic, AI Algorithms
Numerical Methods and Algorithms
+1
M
Bayesian Modeling and Causal Inference
Computability, Logic, AI Algorithms
Cryptography and Data Security
Fault Detection and Control Systems
+4
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
A
Adam Bouland

Assistant Professor of Computer Science

Computer Science

Stanford University

Computability, Logic, AI Algorithms
Cryptography and Data Security
Quantum Computing Algorithms and Architecture
Quantum Information and Cryptography
+1
V
Complexity and Algorithms in Graphs
Computability, Logic, AI Algorithms
Cryptography and Data Security
Machine Learning and Algorithms
+1
T
Thomas Ferguson

Joint Appointment - Associate Professor, Graduate Program Director

Computer Science

Rensselaer Polytechnic Institute

Advanced Algebra and Logic
Computability, Logic, AI Algorithms
Logic, Programming, and Type Systems
Logic, Reasoning, and Knowledge
+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
Quantum Computing
Theoretical Computer Science
Complexity and Algorithms in Graphs
Cryptography and Data Security
+3
M
Mark Braverman

Deaton Family Professor of Computer Science

Computer Science

Princeton University

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 Electrical Engineering and Computer Science, Director of Avionics Engineering Center

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
L
Probabilistic Analysis of Algorithms
Complexity and Algorithms in Graphs
Computability, Logic, AI Algorithms
Fuzzy Systems and Optimization
J
Algorithms and Data Compression
Complexity and Algorithms in Graphs
Computability, Logic, AI Algorithms
DNA and Biological Computing
+1
L
Computability, Logic, AI Algorithms
Logic, Programming, and Type Systems
Parallel Computing and Optimization Techniques
Quantum Computing Algorithms and Architecture
+1
A
Amr Sabry

Professor of Computer Science

Computer Science

Indiana University

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
Previous
124
Next