GradNova

Universities

Research

Blog

Formal Methods in Verification

167 faculty research Formal Methods in Verification on GradNova.

...

46 7

Theodore Manikas

Associate Chair of Computer Science Clinical Professor of Computer Science

Computer Science

Southern Methodist University

Formal Methods in Verification

Integrated Circuits and Semiconductor Failure Analysis

Software Reliability and Analysis Research

VLSI and Analog Circuit Testing

+1

S

Santosh Nagarakatte

Professor, Undergraduate Program Director

Computer Science

Rutgers University

Formal Methods in Verification

Numerical Methods and Algorithms

Parallel Computing and Optimization Techniques

Security and Verification in Computing

+1

S

Suresh Jagannathan

Samuel D. Conte Professor of Computer Science

Computer Science

Purdue University System

Distributed Systems

Programming Languages and Compilers

Distributed Systems and Fault Tolerance

Parallel Computing and Optimization Techniques

+3

D

David Walker

Professor, Director of Undergraduate Studies

Computer Science

Princeton University

Programming Languages & Compilers

Software-Defined Networks and 5G

Logic, Programming, and Type Systems

Formal Methods in Verification

+2

Z

Zachary Kincaid

Associate Professor, Director of Graduate Studies-Admissions

Computer Science

Princeton University

Programming Languages & Compilers

Formal Methods in Verification

Logic, Programming, and Type Systems

Software Testing and Debugging Techniques

+2

A

Andrew Appel

Eugene Higgins Professor of Computer Science, Emeritus

Computer Science

Princeton University

Law & Public Policy

Programming Languages & Compilers

Security & Privacy

Logic, Programming, and Type Systems

+4

M

Marek Perkowski

Professor

Computer Science

Portland State University

Formal Methods in Verification

Low-Power High-Performance VLSI Design

Quantum Computing Algorithms and Architecture

Quantum Information and Cryptography

+1

M

Marly Roncken

Research Professor

Computer Science

Portland State University

Embedded Systems Design Techniques

Formal Methods in Verification

Low-Power High-Performance VLSI Design

Parallel Computing and Optimization Techniques

+1

S

Sarah Mocas

Senior Instructor

Computer Science

Portland State University

Advanced Malware Detection Techniques

Algorithms and Data Compression

Digital and Cyber Forensics

Formal Methods in Verification

+1

B

Bart Massey

Associate Professor

Computer Science

Portland State University

Formal Methods in Verification

Logic, Programming, and Type Systems

Logic, Reasoning, and Knowledge

Parallel Computing and Optimization Techniques

+1

Y

Yao Li

Assistant Professor

Computer Science

Portland State University

Advanced Software Engineering Methodologies

Formal Methods in Verification

Logic, Programming, and Type Systems

J

James Hook

Professor

Computer Science

Portland State University

Advanced Software Engineering Methodologies

Formal Methods in Verification

Logic, Programming, and Type Systems

Security and Verification in Computing

+1

M

Mahfuza Farooque

Associate Teaching Professor

Computer Science and Engineering

Pennsylvania State University

Constraint Satisfaction and Optimization

E-Learning and COVID-19

Formal Methods in Verification

Logic, Programming, and Type Systems

+1

H

Houssam Abbas

Assistant Professor

Electrical Engineering and Computer Science

Oregon State University

Artificial Intelligence and Robotics

Communications and Signal Processing

Computer Security

Networking and Computer Systems

+6

L

Lunjin Lu

Professor

Computer Science

Oakland University

Formal Methods in Verification

Logic, Programming, and Type Systems

Logic, Reasoning, and Knowledge

Software Engineering Research

+1

C

Charlie Murphy

Assistant Professor

Computer Science

Montana State University

Automated Reasoning

Formal Methods

Logic

Programming Languages

+5

E

Eric A. Hansen

Associate Professor

Computer Science

Mississippi State University

Advanced Database Systems and Queries

AI-Based Problem Solving and Planning

Formal Methods in Verification

Optimization and Search Problems

+1

A

Ali Ebnenasir

Associate Professor, Computer Science

Computer Science

Michigan Technological University

Automated Analysis of Fault-Tolerance

Formal Methods

Software Engineering

Distributed Systems and Fault Tolerance

+4

X

Adjunct Professor

Programming Language Theory

Software Engineering

Software Testing and Debugging Techniques

+4

J

Functional Programming

Programming Languages

Genetic Associations and Epidemiology

+4

R

Robert Robere

Professor

Computer Science

McGill University

Computational Complexity

Discrete Mathematics

Logic and Computation

Proof Complexity

+5