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.

M
Program Analysis, Testing and Verification
System and Software Security
Logic, Programming, and Type Systems
Formal Methods in Verification
+1
R
Application of Automated Reasoning Tools, Such as Model Checkers, to the Analysis of Reactive Systems, Including Computer Hardware and Software Systems; Embedded Systems; and Routing and Communication Protocols (of Particular Interest Are Compositional Reasoning and Abstraction Techniques for Coping With the State Explosion Problem in Model Checking)
Visual Notations for Describing Systems and Their Specifications; Automata on Infinite Objects; Temporal, Modal, and Description Logics; Internet-Based Routing and Communication Protocols; and Analysis of Parameterized Systems
Formal Methods in Verification
Logic, Programming, and Type Systems
+3
D
Dave Tompkins

Associate Professor, Teaching Stream and Associate Director, Undergraduate Studies

David R. Cheriton School of Computer Science

University of Waterloo

Teaching Focus on the Core Cs Curriculum
Constraint Satisfaction and Optimization
Advanced Database Systems and Queries
Data Management and Algorithms
+2
F
Automated Reasoning, Programming Language Theory, Formal Methods, and Distributed Systems
Research Mission Is to Create Automated Reasoning Stacks That Do Not Require Users to Be Experts in Automated Reasoning
Software Testing and Debugging Techniques
Natural Language Processing Techniques
+3
O
My Research Interests Are in Programming Languages and Compilers. My Focus Is on Program Analysis of Object-Oriented Languages. I Am Currently Directing Most of My Attention to Scala.
Program Analysis of Object-Oriented Languages
Programming Languages and Compilers
Scala
+5
A
Arie Gurfinkel

Associate Professor, Electrical and Computer Engineering

David R. Cheriton School of Computer Science

University of Waterloo

Formal Methods in Verification
Logic, Programming, and Type Systems
Model-Driven Software Engineering Techniques
Software Reliability and Analysis Research
+1
S
Embedded Systems Design Techniques
Formal Methods in Verification
Parallel Computing and Optimization Techniques
Real-Time Systems Scheduling
+1
W
Werner Dietl

Associate Professor, Electrical and Computer Engineering

David R. Cheriton School of Computer Science

University of Waterloo

Formal Methods in Verification
Logic, Programming, and Type Systems
Parallel Computing and Optimization Techniques
Security and Verification in Computing
+1
N
Formal Methods
Software Engineering
Software Requirements and Modelling
Formal Methods in Verification
+4
J
Joanne Atlee

Professor, and Director of Women in Computer Science

David R. Cheriton School of Computer Science

University of Waterloo

Analysis of Large Distributed Software Systems and Visualization of Analysis Results
Semantics of Composition of Software Features, and Detection and Resolution of Feature Interactions
Advanced Software Engineering Methodologies
Model-Driven Software Engineering Techniques
+3
C
Computer-Assisted Proofs
Discrete Mathematics
Experimental Mathematics
Number Theory
+7
Z
Fabrication
Formal Methods
Programming Languages
Parallel Computing and Optimization Techniques
+4
R
Cloud Computing
Computer Networking
Formal Methods
Operating & Distributed Systems
+3
P
Paul Beame

Professor; Associate Director for Facilities

Computer Science

University of Washington

Quantum Computing
Theoretical Computer Science
Complexity and Algorithms in Graphs
Formal Methods in Verification
+3
J
Computer Programming Languages
Formal Methods
Quantum Computing
Quantum Computing Algorithms and Architecture
+4
J
High-Performance Computing (compiler Optimization)
Programming Languages (compiler Optimization, Formal Verification and Testing)
Parallel Computing and Optimization Techniques
Real-Time Systems Scheduling
+3
B
Programming Languages, Gradual Type Systems, Formal Methods, Human Factors
Software Engineering Research
Logic, Programming, and Type Systems
Parallel Computing and Optimization Techniques
+2
G
Artificial Intelligence (ml and Systems)
Programming Languages (formal Verification and Testing)
Parallel Computing and Optimization Techniques
Advanced Photonic Communication Systems
+3
S
Stephen Tu

Assistant Professor of Electrical and Computer Engineering and Computer Science

Ming Hsieh Department of Electrical and Computer Engineering

University of Southern California

Adversarial Robustness in Machine Learning
Formal Methods in Verification
Model Reduction and Neural Networks
Probabilistic and Robust Engineering Design
+1
M
Formal Methods in Verification
Machine Learning and Algorithms
Software Engineering Research
Software System Performance and Reliability
+1
M
Marco Paolieri

Senior Research Associate and Part-Time Lecturer of Computer Science

Computer Science

University of Southern California

Embedded Systems Design Techniques
Formal Methods in Verification
Parallel Computing and Optimization Techniques
Petri Nets in System Modeling
+1
L
Lars Lindemann

Adjunct Research Assistant Professor of Computer Science and Electrical and Computer Engineering

Computer Science

University of Southern California

Advanced Control Systems Optimization
Formal Methods in Verification
High-Energy Particle Collisions Research
Particle Physics Theoretical and Experimental Studies
+1
J
Jyo Deshmukh

Associate Professor of Computer Science and of Electrical and Computer Engineering

Computer Science

University of Southern California

Formal Methods in Verification
Machine Learning and Algorithms
Reinforcement Learning in Robotics
Software Reliability and Analysis Research
+1
S
Stephanie Weirich

Professor ENIAC President's Distinguished Professor Computer and Information Science

Computer Science

University of Pennsylvania

Formal Methods in Verification
Logic, Programming, and Type Systems
Logic, Reasoning, and Knowledge
Security and Verification in Computing
+1
Previous
1

...

68

...

15
Next