GradNova

Universities

Research

Blog

Computability, Logic, AI Algorithms

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

Pei Wang

Associate Professor of Instruction

Semantic Web and Ontologies

+3

R

Richard Beigel

Professor

Computer Science

Temple University

Algorithms & Complexity

Complexity and Algorithms in Graphs

Computability, Logic, AI Algorithms

Semigroups and Automata Theory

+2

S

Sumegha Garg

Assistant Professor

Computer Science

Rutgers University

Advanced Bandit Algorithms Research

Complexity and Algorithms in Graphs

Computability, Logic, AI Algorithms

Machine Learning and Algorithms

+1

S

Selmer Bringsjord

Professor, Lab Director

Computer Science

Rensselaer Polytechnic Institute

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

Ran Raz

Professor

Computer Science

Princeton University

Theoretical Computer Science

Complexity and Algorithms in Graphs

Cryptography and Data Security

Quantum Computing Algorithms and Architecture

+2

M

Mark Braverman

Professor

Computer Science

Princeton University

Economics & Computation

Theoretical Computer Science

Complexity and Algorithms in Graphs

Computability, Logic, AI Algorithms

+3

M

Martin Furer

Professor

Computer Science and Engineering

Pennsylvania State University

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

C

Adjunct Professor

Cryptography and Data Security

Complexity and Algorithms in Graphs

+3

R

Robert Robere

Professor

Computer Science

McGill University

Computational Complexity

Discrete Mathematics

Logic and Computation

Proof Complexity

+5

L

Luc Devroye

Professor

Computer Science

McGill University

Probabilistic Analysis of Algorithms

Complexity and Algorithms in Graphs

Computability, Logic, AI Algorithms

Fuzzy Systems and Optimization

J

Jack Lutz

Professor

Computer Science

Iowa State University

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

Bala Kalyanasundaram

Craves Family Professor

Computer Science

Georgetown University

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

+5

J

Jason Li

Assistant Professor

Computer Science

Carnegie Mellon University

Advanced Graph Theory Research

Complexity and Algorithms in Graphs

Computability, Logic, AI Algorithms

Logic, Programming, and Type Systems

+1

K

Klaus Sutner

Teaching Professor

Computer Science

Carnegie Mellon University

Cellular Automata and Applications

Computability, Logic, AI Algorithms

DNA and Biological Computing

Mathematical Dynamics and Fractals

+1

D

Douglas Howe

Professor

Computer Science

Carleton University

Computability, Logic, AI Algorithms

Distributed Systems and Fault Tolerance

Formal Methods in Verification

Logic, Programming, and Type Systems

+5

A

Assaf Kfoury

Professor

Computer Science

Boston University

Computability, Logic, AI Algorithms

Formal Methods in Verification

Logic, Programming, and Type Systems

Logic, Reasoning, and Knowledge

+1

S

Steve Homer

Professor

Computer Science

Boston University

Advanced Graph Theory Research

Complexity and Algorithms in Graphs

Computability, Logic, AI Algorithms

Quantum Computing Algorithms and Architecture

+1