GradNova

Automated Deduction

2 faculty research Automated Deduction on GradNova.

T

Professor of Computer Science

Computer Science

New York University

Automated Deduction

Concurrent Software

Program Analysis and Verification

Software Productivity

+5

D

Visiting Assistant Professor - Instructional

Computer Science

University at Albany, State University of New York

Automated Deduction

Functional Analysis and Mathematical Physics With Applications to Quantum Computing

Semigroups and Automata Theory

Cryptography and Data Security

+3