GradNova

Home
Find Faculty
Universities
Research
Home
/
Research
/

Formal Methods in Verification

Formal Methods in Verification

175 faculty research Formal Methods in Verification on GradNova.

T
Formal Methods in Verification
Logic, Programming, and Type Systems
Security and Verification in Computing
Semigroups and Automata Theory
+1
R
Advanced Software Engineering Methodologies
Constraint Satisfaction and Optimization
Formal Methods in Verification
K
AI-Based Problem Solving and Planning
Distributed Control Multi-Agent Systems
Formal Methods in Verification
Logic, Reasoning, and Knowledge
+1
P
Advanced Graph Theory Research
Complexity and Algorithms in Graphs
Constraint Satisfaction and Optimization
Formal Methods in Verification
+1
K
Advanced Graph Theory Research
Complexity and Algorithms in Graphs
Constraint Satisfaction and Optimization
Formal Methods in Verification
+1
H
Advanced Control Systems Optimization
Adversarial Robustness in Machine Learning
Formal Methods in Verification
Gene Regulatory Network Analysis
+1
G
Greg Kulczycki

Associate Professor of Practice

Computer Science

Virginia Tech

Advanced Software Engineering Methodologies
Formal Methods in Verification
Logic, Programming, and Type Systems
Service-Oriented Architecture and Web Services
+1
J
Advanced Software Engineering Methodologies
Formal Methods in Verification
Logic, Programming, and Type Systems
Parallel Computing and Optimization Techniques
+1
A
Formal Methods in Verification
Logic, Programming, and Type Systems
Logic, Reasoning, and Knowledge
Machine Learning in Bioinformatics
+1
S
Somesh Jha

Sheldon B. and Marianne S. Lubar Chair and Professor

Computer Science

University of Wisconsin–Madison

Advanced Malware Detection Techniques
Formal Methods in Verification
Internet Traffic Analysis and Secure E-Voting
Network Security and Intrusion Detection
+1
Y
Advanced Software Engineering Methodologies
Formal Methods in Verification
Logic, Programming, and Type Systems
Misinformation and Its Impacts
+1
M
Formal Methods in Verification
Logic, Programming, and Type Systems
Model-Driven Software Engineering Techniques
R
Formal Methods in Verification
Logic, Programming, and Type Systems
Model-Driven Software Engineering Techniques
Petri Nets in System Modeling
+1
D
Dave Tompkins

Associate Professor, Teaching Stream and Associate Director, Undergraduate Studies

David R. Cheriton School of Computer Science

University of Waterloo

Advanced Database Systems and Queries
Bayesian Modeling and Causal Inference
Constraint Satisfaction and Optimization
Data Management and Algorithms
+1
F
Formal Methods in Verification
Natural Language Processing Techniques
Software Engineering Research
Software Testing and Debugging Techniques
+1
A
Arie Gurfinkel

Associate Professor, Electrical and Computer Engineering

David R. Cheriton School of Computer Science

University of Waterloo

Formal Methods in Verification
Logic, Programming, and Type Systems
Model-Driven Software Engineering Techniques
Software Reliability and Analysis Research
+1
S
Embedded Systems Design Techniques
Formal Methods in Verification
Parallel Computing and Optimization Techniques
Real-Time Systems Scheduling
+1
W
Werner Dietl

Associate Professor, Electrical and Computer Engineering

David R. Cheriton School of Computer Science

University of Waterloo

Formal Methods in Verification
Logic, Programming, and Type Systems
Parallel Computing and Optimization Techniques
Security and Verification in Computing
+1
Z
Fabrication
Formal Methods
Programming Languages
Parallel Computing and Optimization Techniques
+4
R
Cloud Computing
Computer Networking
Formal Methods
Operating & Distributed Systems
+3
P
Quantum Computing
Theoretical Computer Science
Complexity and Algorithms in Graphs
Formal Methods in Verification
+3
J
High-Performance Computing (compiler Optimization)
Programming Languages (compiler Optimization, Formal Verification and Testing)
Parallel Computing and Optimization Techniques
Real-Time Systems Scheduling
+3
G
Artificial Intelligence (ml and Systems)
Programming Languages (formal Verification and Testing)
Formal Methods in Verification
Embedded Systems Design Techniques
+1
S
Stephen Tu

Assistant Professor of Electrical and Computer Engineering and Computer Science

Computer Science

University of Southern California

Adversarial Robustness in Machine Learning
Formal Methods in Verification
Model Reduction and Neural Networks
Probabilistic and Robust Engineering Design
+1
2

...

8
Next