GradNova

Universities

Research

Blog

Formal Methods in Verification

167 faculty research Formal Methods in Verification on GradNova.

...

7

Stephen Siegel

Associate Professor

Computer Science

University of Delaware

Distributed Systems and Fault Tolerance

Formal Methods in Verification

Logic, Programming, and Type Systems

Parallel Computing and Optimization Techniques

+1

M

Majid Zamani

Associate Professor

Computer Science

University of Colorado Boulder

Adaptive Control of Nonlinear Systems

Advanced Control Systems Optimization

Formal Methods in Verification

Petri Nets in System Modeling

+1

A

Ashutosh Trivedi

Associate Professor

Computer Science

University of Colorado Boulder

Formal Methods in Verification

Logic, Reasoning, and Knowledge

Machine Learning and Algorithms

Reinforcement Learning in Robotics

P

Paul Krogmeier

Visiting Assistant Professor

Computer Science

University of Colorado Boulder

Formal Methods in Verification

Logic, Programming, and Type Systems

Machine Learning and Algorithms

Semigroups and Automata Theory

+1

B

Bor-Yuh Evan Chang

Associate Professor, Co-Associate Chair for Graduate Education

Computer Science

University of Colorado Boulder

Advanced Malware Detection Techniques

Formal Methods in Verification

Logic, Programming, and Type Systems

Software Engineering Research

+1

J

John H. Reppy

Professor of Computer Science

Computer Science

University of Chicago

Distributed and Parallel Computing Systems

Embedded Systems Design Techniques

Formal Methods in Verification

Logic, Programming, and Type Systems

+1

R

Robert Rand

Assistant Professor of Computer Science

Computer Science

University of Chicago

Complexity and Algorithms in Graphs

Formal Methods in Verification

Quantum Computing Algorithms and Architecture

D

Daniel J. Fremont

Associate Professor

Computer Science and Engineering

University of California, Santa Cruz

Adversarial Robustness in Machine Learning

Formal Methods in Verification

Machine Learning and Algorithms

Simulation Techniques and Applications

+1

L

Luca De Alfaro

Professor

Computer Science and Engineering

University of California, Santa Cruz

Advanced Software Engineering Methodologies

Formal Methods in Verification

Logic, Programming, and Type Systems

Logic, Reasoning, and Knowledge

+1

Y

Yuanyuan Zhou

Computer Science

University of California San Diego

Formal Methods in Verification

Natural Language Processing Techniques

Software Engineering Research

Software Testing and Debugging Techniques

+1

R

Ranjit Jhala

Computer Science

University of California San Diego

Formal Methods in Verification

Logic, Programming, and Type Systems

Security and Verification in Computing

Software Engineering Research

+1

Z

Zhaodan Kong

Associate Professor

Computer Science

University of California, Davis

Formal Methods in Verification

Human-Automation Interaction and Safety

Neural Dynamics and Brain Function

Robotic Path Planning Algorithms

+1

J

Jesus De Loera

Professor

Computer Science

University of California, Davis

Advanced Graph Theory Research

Algebraic Geometry and Number Theory

Formal Methods in Verification

Mathematical Dynamics and Fractals

+1

S

Sanjit A. Seshia

Professor

Computer Science

University of California, Berkeley

Artificial Intelligence (ai)

Control, Intelligent Systems, and Robotics (cir)

Cyber-Physical Systems and Design Automation (cpsda)

Programming Systems (ps)

+5

E

Edward A. Lee

Professor Emeritus, Professor in the Graduate School

Computer Science

University of California, Berkeley

Computer Architecture & Engineering (arc)

Cyber-Physical Systems and Design Automation (cpsda)

Design, Modeling and Analysis (dma)

Information, Data, Network, and Communication Sciences (idncs)

+7

K

Koushik Sen

Professor

Computer Science

University of California, Berkeley

Programming Systems (ps)

Security (sec)

Software Testing and Debugging Techniques

Software Reliability and Analysis Research

+3

A

Alex Summers

Associate Head of Grad Affairs & Professor

Computer Science

University of British Columbia

Formal Methods

Program Analysis & Verification

Programming Languages

Software Engineering

+5

M

Mark Greenstreet

Professor

Computer Science

University of British Columbia

Formal Methods

Scientific Computing

Systems & Networking

Low-Power High-Performance VLSI Design

+4

R

Ronald Garcia

Professor

Computer Science

University of British Columbia

Program Analysis & Verification

Programming Languages

Logic, Programming, and Type Systems

Software Engineering Research

+3

R

Roberto Giacobazzi

Professor

Computer Science

University of Arizona

Abstract Interpretation

History of Computing

Logic in Computer Science

Program Analysis and Verification

+7

S

Saumya Debray

Professor

Computer Science

University of Arizona

Compilers

Program Analysis and Optimization

Programming Language Implementation

Parallel Computing and Optimization Techniques

+4