GradNova

Universities

Research

Blog

Formal Methods in Verification

167 faculty research Formal Methods in Verification on GradNova.

...

6

J

Jeannette M Wing

Executive Vice President for Research, Professor of Computer Science

Probabilistic Programming

+6

J

Jim Davies

Associate Professor

Computer Science

Carleton University

Advanced Software Engineering Methodologies

Formal Methods in Verification

Hepatitis C Virus Research

Model-Driven Software Engineering Techniques

+5

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

E

Eric Mercer

Associate Professor

Computer Science

Brigham Young University

Embedded Systems Design Techniques

Formal Methods in Verification

Parallel Computing and Optimization Techniques

Real-Time Systems Scheduling

+1

K

Kimball Germane

Assistant Professor

Computer Science

Brigham Young University

Advanced Database Systems and Queries

Formal Methods in Verification

Logic, Programming, and Type Systems

Parallel Computing and Optimization Techniques

+1

N

Nathan Mull

Lecturer

Computer Science

Boston University

Constraint Satisfaction and Optimization

Formal Methods in Verification

Logic, Programming, and Type Systems

Logic, Reasoning, and Knowledge

+1

A

Alley Stoughton

Research Professor

Computer Science

Boston University

Cryptographic Implementations and Security

Cryptography and Data Security

Formal Methods in Verification

Logic, Programming, and Type Systems

+1

H

Hongwei Xi

Associate Professor

Computer Science

Boston University

Crystallization and Solubility Studies

Formal Methods in Verification

Logic, Programming, and Type Systems

Synthesis and Characterization of Novel Inorganic/organometallic Compounds

+4

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

A

Aaron Stump

John R. and Pamela Egan Chair of Computer Science Professor

Computer Science

Boston College

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

Boston College

Advanced Algebra and Logic

Computability, Logic, AI Algorithms

Formal Methods in Verification

Logic, Programming, and Type Systems

+1

M

Max Taylor

Assistant Professor

Computer Science

Boise State University

Marine and Coastal Ecosystems

Marine Biology and Ecology Research

Marine Toxins and Detection Methods

Microbial Community Ecology and Physiology

+6

E

Elena Sherman

Associate Professor and Associate Chair

Computer Science

Boise State University

Advanced Battery Materials and Technologies

Advancements in Battery Materials

Formal Methods in Verification

Software Engineering Research

+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

Formal Methods

Functional Languages

Software Engineering Research

+4

T

Thomas W Bartenstein

Lecturer

Computer Science

Binghamton University

Computer Architecture

Computer-Aided Microprocessor Design, Manufacturing and Testing

Educational Software

Operating Systems

+7

E

Eric Atkinson

Assistant Professor

Computer Science

Binghamton University

Formal Methods

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

Yuyan Bao, PhD

Assistant Professor

Computer Science

Augusta University

Advanced Malware Detection Techniques

Cryptographic Implementations and Security

Formal Methods in Verification

Logic, Programming, and Type Systems

+1