GradNova

Logic, Programming, and Type Systems

153 faculty research Logic, Programming, and Type Systems on GradNova.

A

John R. and Pamela Egan Chair of Computer Science Professor

Computer Science

Advanced Database Systems and Queries

Formal Methods in Verification

Logic, Programming, and Type Systems

Logic, Reasoning, and Knowledge

+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

Z

Zerksis D. Umrigar

Lecturer

Computer Science

Binghamton University

Automating Courseware Development

Programming Languages

Systems Programming

Logic, Programming, and Type Systems

+4

W

William Hallahan

Assistant Professor

Computer Science

Binghamton University

Computer Networks

Functional Languages

Software Engineering Research

+4

H

Harley Eades, PhD

Associate Professor

Computer Science

Augusta University

Advanced Algebra and Logic

Formal Methods in Verification

Logic, Programming, and Type Systems

Logic, Reasoning, and Knowledge

+1

Y

Assistant Professor

Computer Science

Augusta University

Advanced Malware Detection Techniques

Cryptographic Implementations and Security

Formal Methods in Verification

Logic, Programming, and Type Systems

+1

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

P

Paul Attie, PhD

Professor

Computer Science

Augusta University

Distributed Systems and Fault Tolerance

Formal Methods in Verification

Logic, Programming, and Type Systems

Parallel Computing and Optimization Techniques

+1

R

Richard Chapman

Associate Professor

Computer Science

Auburn University

Health Systems, Economic Evaluations, Quality of Life

Healthcare Cost, Quality, Practices

Healthcare Policy and Management

Medication Adherence and Compliance

+6

...