GradNova

Home
Find Faculty
Universities
Research
Home
/
Research
/

Formal Methods

Formal Methods

40 faculty research Formal Methods on GradNova.

Z
Fabrication
Formal Methods
Programming Languages
Parallel Computing and Optimization Techniques
+4
D
Data Management
Data Mining
Formal Methods
Advanced Database Systems and Queries
+4
R
Cloud Computing
Computer Networking
Formal Methods
Operating & Distributed Systems
+3
M
Computing Education Research
Formal Methods
Programming Languages
Security & Privacy
+6
B
Computational Complexity
Cryptography
Formal Methods
Foundations of Security
+6
J
Computer Programming Languages
Formal Methods
Quantum Computing
B
Formal Methods
Gradual Type Systems
Human Factors
Programming Languages
+3
L
Computer Security
Embedded Systems
Formal Methods
Internet of Things
+5
D
Computer-Supported Cooperative Work
Design Patterns
Formal Methods
Hypermedia and Web Technology
+6
P
Autonomy
Control Theory
Embedded and Real-Time Systems
Embedded Systems
+8
X
Analysis
Formal Methods
Program Analysis
Programming Languages
+2
Y
AI for Systems
Formal Methods
Quantum Computing
M
Manerkar, Yatin

Assistant Professor, EECS – Computer Science and Engineering

Computer Science and Engineering

University of Michigan

Cache Coherence
Concurrency
Ethical AI
Formal Methods
+2
K
Distributed Systems
Fault Tolerance
Formal Methods
C
Applications of Logic in Computer Science
Automated Reasoning
Formal Methods
Foundations of Programming Languages
K
Formal Methods
Interactive Theorem Proving
Math and Computer Science Intersection
Logic, Programming, and Type Systems
+4
P
Computer Architecture
Computer Arithmetic
Formal Methods
Hardware Security
D
AI Safety
Embedded Systems
Formal Methods
Robotics
R
Formal Methods
Program Analysis & Verification
Systems & Networking
Parallel Computing and Optimization Techniques
+4
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
I
Formal Methods
Robotics
Scientific Computing
Neurological Disorders and Treatments
+4
M
Formal Methods
Scientific Computing
Systems & Networking
Low-Power High-Performance VLSI Design
+4
J
Formal Methods
Numerics
G
Formal Methods
Programming Languages
Software Engineering
Magnetic Properties of Thin Films
+4
2
Next