GradNova

Program Verification

4 faculty research Program Verification on GradNova.

N

Assistant Professor

Computer Science

University of Toronto

Functional Programming

Language Design

+9

A

Professor

Computer Science

University of Toronto

Distributed Systems

Parallel Computing

+9

O

Associate Professor, SUNY Empire Innovation Scholar

Computer Science

Stony Brook University

Network Security

Program Analysis

Program Verification

+9

X

Assistant Professor

Computer Science

University of Toronto

AI Safety and Robustness

Logic Programming

Machine Learning

Neuro-Symbolic Learning and Reasoning

+8