GradNova

Computability, Logic, AI Algorithms

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

S

Professor

Computer Science

Boston University

Advanced Graph Theory Research

Complexity and Algorithms in Graphs

Computability, Logic, AI Algorithms

Quantum Computing Algorithms and Architecture

+1

P

Professor

Computer Science

Computability, Logic, AI Algorithms

RNA and Protein Synthesis Mechanisms

RNA Modifications and Cancer

RNA Research and Splicing

+1

H

Howard Straubing

Professor

Computer Science

Advanced Algebra and Logic

Computability, Logic, AI Algorithms

Formal Methods in Verification

Logic, Programming, and Type Systems

+1

A

Alexander Creiner

Visiting Assistant Professor

Computer Science

Advanced Topology and Set Theory

Complexity and Algorithms in Graphs

Computability, Logic, AI Algorithms

Quantum Computing Algorithms and Architecture

C

Clement Aubert, PhD

Associate Professor

Computer Science

Augusta University

Computability, Logic, AI Algorithms

Distributed Systems and Fault Tolerance

Formal Methods in Verification

Logic, Programming, and Type Systems

+1