GradNova

Formal Methods in Verification

175 faculty research Formal Methods in Verification on GradNova.

E

Assistant Professor

Computer Science

Binghamton University

Program Analysis

Programming Languages and Runtimes

Bayesian Modeling and Causal Inference

+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

R

Richard DeFrancisco, PhD

Assistant Professor

Computer Science

Augusta University

Formal Methods in Verification

Model Reduction and Neural Networks

Radiation Effects in Electronics

Receptor Mechanisms and Signaling

+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

...