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.

K
Formal Methods
Interactive Theorem Proving
Math and Computer Science Intersection
Logic, Programming, and Type Systems
+4
P
Embedded Systems Design Techniques
Formal Methods in Verification
Parallel Computing and Optimization Techniques
Physical Unclonable Functions (pufs) and Hardware Security
+1
S
Emerging Computing Paradigms
Formal Methods and Logic
Machine Learning
Advanced Memory and Neural Computing
+4
S
Distributed Systems and Fault Tolerance
Formal Methods in Verification
Logic, Programming, and Type Systems
Parallel Computing and Optimization Techniques
+1
M
Adaptive Control of Nonlinear Systems
Advanced Control Systems Optimization
Formal Methods in Verification
Petri Nets in System Modeling
+1
A
Formal Methods in Verification
Logic, Reasoning, and Knowledge
Machine Learning and Algorithms
Reinforcement Learning in Robotics
P
Formal Methods in Verification
Logic, Programming, and Type Systems
Machine Learning and Algorithms
Semigroups and Automata Theory
+1
B
Bor-Yuh Evan Chang

Associate Professor, Co-Associate Chair for Graduate Education

Computer Science

University of Colorado Boulder

Advanced Malware Detection Techniques
Formal Methods in Verification
Logic, Programming, and Type Systems
Software Engineering Research
+1
J
Distributed and Parallel Computing Systems
Embedded Systems Design Techniques
Formal Methods in Verification
Logic, Programming, and Type Systems
+1
R
Robert Rand

Assistant Professor of Computer Science

Computer Science

University of Chicago

Complexity and Algorithms in Graphs
Formal Methods in Verification
Quantum Computing Algorithms and Architecture
D
Adversarial Robustness in Machine Learning
Formal Methods in Verification
Machine Learning and Algorithms
Simulation Techniques and Applications
+1
L
Advanced Software Engineering Methodologies
Formal Methods in Verification
Logic, Programming, and Type Systems
Logic, Reasoning, and Knowledge
+1
Y
Formal Methods in Verification
Natural Language Processing Techniques
Software Engineering Research
Software Testing and Debugging Techniques
+1
R
Formal Methods in Verification
Logic, Programming, and Type Systems
Security and Verification in Computing
Software Engineering Research
+1
Z
Formal Methods in Verification
Human-Automation Interaction and Safety
Neural Dynamics and Brain Function
Robotic Path Planning Algorithms
+1
J
Advanced Graph Theory Research
Algebraic Geometry and Number Theory
Formal Methods in Verification
Mathematical Dynamics and Fractals
+1
S
Artificial Intelligence (ai)
Control, Intelligent Systems, and Robotics (cir)
Cyber-Physical Systems and Design Automation (cpsda)
Programming Systems (ps)
+5
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
A
Alex Summers

Associate Head of Grad Affairs & Professor

Computer Science

University of British Columbia

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
J
Atherosclerosis and Cardiovascular Diseases
Cancer-Related Molecular Mechanisms Research
Distributed Systems and Fault Tolerance
Formal Methods in Verification
+1
Previous
124

...

8
Next