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.

Z
Zachary Kincaid

Associate Professor, Director of Graduate Studies-Admissions

Computer Science

Princeton University

Programming Languages & Compilers
Formal Methods in Verification
Logic, Programming, and Type Systems
Software Testing and Debugging Techniques
+2
A
Andrew Appel

Eugene Higgins Professor of Computer Science, Emeritus

Computer Science

Princeton University

Law & Public Policy
Programming Languages & Compilers
Security & Privacy
Logic, Programming, and Type Systems
+4
X
Embedded Systems Design Techniques
Formal Methods in Verification
Quantum Computing Algorithms and Architecture
Software Testing and Debugging Techniques
+1
M
Formal Methods in Verification
Low-Power High-Performance VLSI Design
Quantum Computing Algorithms and Architecture
Quantum Information and Cryptography
+1
M
Embedded Systems Design Techniques
Formal Methods in Verification
Low-Power High-Performance VLSI Design
Parallel Computing and Optimization Techniques
+1
S
Advanced Malware Detection Techniques
Algorithms and Data Compression
Digital and Cyber Forensics
Formal Methods in Verification
+1
B
Formal Methods in Verification
Logic, Programming, and Type Systems
Logic, Reasoning, and Knowledge
Parallel Computing and Optimization Techniques
+1
Y
Advanced Software Engineering Methodologies
Formal Methods in Verification
Logic, Programming, and Type Systems
J
Advanced Software Engineering Methodologies
Formal Methods in Verification
Logic, Programming, and Type Systems
Security and Verification in Computing
+1
M
Constraint Satisfaction and Optimization
E-Learning and COVID-19
Formal Methods in Verification
Logic, Programming, and Type Systems
+1
H
Artificial Intelligence and Robotics
Communications and Signal Processing
Computer Security
Networking and Computer Systems
+6
D
Diego Zaccai

Professional Practice Assistant Professor, Computer Science and Engineering

Computer Science and Engineering

The Ohio State University

Formal Methods in Verification
Logic, Programming, and Type Systems
Model-Driven Software Engineering Techniques
Parallel Computing and Optimization Techniques
+1
L
Formal Methods in Verification
Logic, Programming, and Type Systems
Logic, Reasoning, and Knowledge
Software Engineering Research
+1
A
Amal Ahmed

Professor, Associate Dean of Graduate Programs

Computer Science

Northeastern University

Gradual Typing
Programming Languages
Secure Compilation
Semantics
+7
A
Formal Methods in Verification
Logic, Programming, and Type Systems
Software Engineering Research
Software Reliability and Analysis Research
+1
D
Dr. James Bret Michael

Vice Provost for Academic Affairs Professor Computer Science Electrical and Computer Engineering

Department of Electrical and Computer Engineering

Naval Postgraduate School

Engineering Trusted Systems
Machine Learning
Technical, Legal, and Policy Aspects of Military Operations in Cyberspace
Software Reliability and Analysis Research
+4
D
Automated Reasoning
Formal Methods
Logic
Programming Languages
+5
E
Advanced Database Systems and Queries
AI-Based Problem Solving and Planning
Formal Methods in Verification
Optimization and Search Problems
+1
A
Automated Analysis of Fault-Tolerance
Formal Methods
Software Engineering
Distributed Systems and Fault Tolerance
+4
A
Advanced Graph Theory Research
Complexity and Algorithms in Graphs
Formal Methods in Verification
Logic, Reasoning, and Knowledge
+1
X
AI Safety and Robustness
Logic Programming
Machine Learning
Neuro-Symbolic Learning and Reasoning
+8
P
Learning Theory
Trustworthy Machine Learning
Machine Learning and Algorithms
Domain Adaptation and Few-Shot Learning
+3
J
Compilers
Functional Programming
Programming Languages
Genetic Associations and Epidemiology
+4
R
Computational Complexity
Discrete Mathematics
Logic and Computation
Proof Complexity
+5
Previous
1

...

1113

...

15
Next