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.

A
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
Advanced Algebra and Logic
Computability, Logic, AI Algorithms
Formal Methods in Verification
Logic, Programming, and Type Systems
+1
M
Adversarial Robustness in Machine Learning
Formal Methods in Verification
Security and Verification in Computing
Software Reliability and Analysis Research
+1
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
W
Computer Networks
Formal Methods
Functional Languages
Software Engineering Research
+4
T
Computer Architecture
Computer-Aided Microprocessor Design, Manufacturing and Testing
Educational Software
Operating Systems
+7
E
Formal Methods
Program Analysis
Programming Languages and Runtimes
Bayesian Modeling and Causal Inference
+4
M
Complexity and Algorithms in Graphs
Distributed Systems and Fault Tolerance
Formal Methods in Verification
Graph Theory and Cdma Systems
+1
H
Advanced Algebra and Logic
Formal Methods in Verification
Logic, Programming, and Type Systems
Logic, Reasoning, and Knowledge
+1
R
Formal Methods in Verification
Model Reduction and Neural Networks
Radiation Effects in Electronics
Receptor Mechanisms and Signaling
+1
Y
Cryptographic Implementations and Security
Formal Methods in Verification
Logic, Programming, and Type Systems
Security and Verification in Computing
+1
C
Computability, Logic, AI Algorithms
Distributed Systems and Fault Tolerance
Formal Methods in Verification
Logic, Programming, and Type Systems
+1
P
Distributed Systems and Fault Tolerance
Formal Methods in Verification
Logic, Programming, and Type Systems
Parallel Computing and Optimization Techniques
+1
R
Cryospheric Studies and Observations
Hemiptera Insect Studies
Insect and Arachnid Ecology and Behavior
Plant and Biological Electrophysiology Studies
+6
Previous
1

...

14