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.

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
R
Compilers for Embedded Systems
Embedded Domain-Specific Languages
Functional Languages
Program Analysis and Optimization
+5
H
Hari Sundar

Ada Lovelace Associate Professor

Computer Science

Tufts University

Computational Sciences
High Performance Computing
Parallel Algorithms
Parallel Computing and Optimization Techniques
+3
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
S
Advanced Authentication Protocols Security
Formal Methods in Verification
Logic, Programming, and Type Systems
Logic, Reasoning, and Knowledge
+1
K
Ken McMillan

Professor, Admiral B.R. Inman Centennial Chair in Computing Theory

Computer Science

The University of Texas at Austin

Formal Methods
Programming Languages and Compilers
Formal Methods in Verification
Logic, Programming, and Type Systems
+3
S
Formal Methods
Machine Learning
Programming Languages and Compilers
Formal Methods in Verification
+4
J
Advanced Database Systems and Queries
Data Mining Algorithms and Applications
Formal Methods in Verification
Logic, Programming, and Type Systems
+1
J
Software Engineering
Software Security
Trustworthy AI Software
Software Testing and Debugging Techniques
+4
A
Aakash Tyagi

Professor of Practice, Computer Science & Engineering

Computer Science

Texas A&M University

Advanced Graph Neural Networks
Boron and Carbon Nanomaterials Research
Formal Methods in Verification
Semiconductor Materials and Interfaces
+5
Y
Yiwei Lyu

Assistant Professor, Computer Science & Engineering

Computer Science

Texas A&M University

Distributed Control Multi-Agent Systems
Formal Methods in Verification
Human-Automation Interaction and Safety
Reinforcement Learning in Robotics
+1
D
David Kebo Houngninou

Instructional Associate Professor, Computer Science & Engineering

Computer Science

Texas A&M University

Embedded Systems Design Techniques
Experimental Learning in Engineering
Formal Methods in Verification
Simulation Techniques and Applications
+1
A
Computer Networks
Software-Defined Networks and 5G
Formal Methods in Verification
Network Packet Processing and Optimization
+2
D
Dominic Letarte

Associate Professor of Instruction

Computer Science

Temple University

Instruction
Security and Verification in Computing
Web Application Security Vulnerabilities
Advanced Malware Detection Techniques
+2
E
Eric Koskinen

Charles Berendsen Chair Associate Professor

Computer Science

Stevens Institute of Technology

Distributed Systems and Fault Tolerance
Formal Methods in Verification
Logic, Programming, and Type Systems
Parallel Computing and Optimization Techniques
+1
D
Distributed Systems and Fault Tolerance
Formal Methods in Verification
Logic, Programming, and Type Systems
Security and Verification in Computing
+1
E
Formal Methods in Verification
Logic, Programming, and Type Systems
Logic, Reasoning, and Knowledge
Semantic Web and Ontologies
+1
Previous
1

...

35

...

8
Next