GradNova

Computability, Logic, AI Algorithms

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

K

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

University Professor Emeritus

Computer Science

Carnegie Mellon University

Architecture and Computational Design

European History and Politics

Structural Engineering and Vibration Analysis

Logic, Reasoning, and Knowledge

+4

D

Professor

Computer Science

Carleton University

Electrolyte and Hormonal Disorders

Food Security and Health in Diverse Populations

Ion Transport and Channel Regulation

Renal Function and Acid-Base Balance

+5

A

Professor

Computer Science

Boston University

Computability, Logic, AI Algorithms

Formal Methods in Verification

Logic, Programming, and Type Systems

Logic, Reasoning, and Knowledge

+1

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

Related Faculty - 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

Assistant Professor of the Practice

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

...