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.

I
Advanced Authentication Protocols Security
Formal Methods in Verification
Logic, Programming, and Type Systems
Logic, Reasoning, and Knowledge
+1
J
Constraint Satisfaction and Optimization
Formal Methods in Verification
Logic, Programming, and Type Systems
Natural Language Processing Techniques
+1
F
Access Control and Trust
Formal Methods in Verification
Logic, Programming, and Type Systems
Logic, Reasoning, and Knowledge
+2
H
Access Control and Trust
Cryptography and Data Security
Formal Methods in Verification
Logic, Programming, and Type Systems
+1
J
Advanced Software Engineering Methodologies
Formal Methods in Verification
Logic, Programming, and Type Systems
Security and Verification in Computing
+1
L
Advanced Malware Detection Techniques
Security and Verification in Computing
User Authentication and Security Systems
Formal Methods in Verification
+2
J
Adversarial Robustness in Machine Learning
Formal Methods in Verification
Reinforcement Learning in Robotics
E
E-Learning and Knowledge Management
Persona Design and Applications
Robotics and Automated Systems
Advanced Software Engineering Methodologies
+4
J
Jeannette M Wing

Executive Vice President for Research, Professor of Computer Science

Computer Science

Columbia University

Algorithmic Fairness
Data Mining
Formal Methods
Probabilistic Programming
+6
J
Advanced Software Engineering Methodologies
Formal Methods in Verification
Hepatitis C Virus Research
Model-Driven Software Engineering Techniques
+5
D
Computability, Logic, AI Algorithms
Distributed Systems and Fault Tolerance
Formal Methods in Verification
Logic, Programming, and Type Systems
+1
E
Embedded Systems Design Techniques
Formal Methods in Verification
Parallel Computing and Optimization Techniques
Real-Time Systems Scheduling
+1
K
Advanced Database Systems and Queries
Formal Methods in Verification
Logic, Programming, and Type Systems
Parallel Computing and Optimization Techniques
+1
N
Constraint Satisfaction and Optimization
Formal Methods in Verification
Logic, Programming, and Type Systems
Logic, Reasoning, and Knowledge
+1
A
Cryptographic Implementations and Security
Cryptography and Data Security
Formal Methods in Verification
Logic, Programming, and Type Systems
+1
H
Crystallization and Solubility Studies
Formal Methods in Verification
Logic, Programming, and Type Systems
Synthesis and Characterization of Novel Inorganic/organometallic Compounds
+4
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
Marine and Coastal Ecosystems
Marine Biology and Ecology Research
Marine Toxins and Detection Methods
Microbial Community Ecology and Physiology
+6
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
Z
Automating Courseware Development
Programming Languages
Systems Programming
Logic, Programming, and Type Systems
+4
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
Previous
1

...

68
Next