GradNova

Home
Find Faculty
Universities
Research
Home
/
Research
/

Formal Methods in Verification

Formal Methods in Verification

351 faculty research Formal Methods in Verification on GradNova.

S
Adversarial Robustness in Machine Learning
Formal Methods in Verification
Logic, Programming, and Type Systems
Reinforcement Learning in Robotics
+1
R
Climate Change Policy and Economics
Economic and Environmental Valuation
Formal Methods in Verification
Risk and Safety Analysis
+1
Z
Formal Methods in Verification
Human-Automation Interaction and Safety
Neural Dynamics and Brain Function
Robotic Path Planning Algorithms
+1
J
Jesus De Loera

External Graduate Program Faculty - 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
C
Biosystems & Computational Biology (bio)
Control, Intelligent Systems, and Robotics (cir)
Formal Methods in Verification
Model Reduction and Neural Networks
+1
S
Artificial Intelligence (ai)
Control, Intelligent Systems, and Robotics (cir)
Cyber-Physical Systems and Design Automation (cpsda)
Programming Systems (ps)
+7
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
Programming Systems (ps)
Security (sec)
Software Testing and Debugging Techniques
Software Reliability and Analysis Research
+3
A
Formal Methods
Program Analysis & Verification
Programming Languages
Software Engineering
+5
M
Formal Methods
Scientific Computing
Systems & Networking
Low-Power High-Performance VLSI Design
+4
R
Program Analysis & Verification
Programming Languages
Logic, Programming, and Type Systems
Software Engineering Research
+3
R
Abstract Interpretation
History of Computing
Logic in Computer Science
Program Analysis and Verification
+7
S
Compilers
Program Analysis and Optimization
Programming Language Implementation
Parallel Computing and Optimization Techniques
+4
D
Atherosclerosis and Cardiovascular Diseases
Cancer-Related Molecular Mechanisms Research
Distributed Systems and Fault Tolerance
Formal Methods in Verification
+1
P
Automated Reasoning
Pattern Matching
Symbolic Protocol Analysis
Term Rewriting Systems
+5
D
Automated Deduction
Functional Analysis and Mathematical Physics With Applications to Quantum Computing
Semigroups and Automata Theory
Cryptography and Data Security
+3
Y
Advanced Malware Detection Techniques
Formal Methods in Verification
Security and Verification in Computing
Software Engineering Research
+1
T
Advanced Software Engineering Methodologies
Formal Methods in Verification
Security and Verification in Computing
Service-Oriented Architecture and Web Services
+1
H
Advanced Malware Detection Techniques
Blockchain Technology Applications and Security
Formal Methods in Verification
Privacy, Security, and Data Protection
+1
H
Hari Sundar

Ada Lovelace Associate Professor

Computer Science

Tufts University

Computational Sciences
High Performance Computing
Parallel Algorithms
Parallel Computing and Optimization Techniques
+4
A
Advanced Software Engineering Methodologies
Formal Methods in Verification
Scientific Computing and Data Management
Semantic Web and Ontologies
+1
M
Formal Methods in Verification
Logic, Programming, and Type Systems
Software Engineering Research
Software Reliability and Analysis Research
+1
Y
Advanced Software Engineering Methodologies
Formal Methods in Verification
Logic, Programming, and Type Systems
Software Engineering Research
+1
G
Formal Methods in Verification
Logic, Reasoning, and Knowledge
Petri Nets in System Modeling
Semantic Web and Ontologies
+2
Previous
1

...

911

...

15
Next