GradNova
Program Logics
1 faculty research Program Logics on GradNova.
Assistant Professor/Faculty Fellow of Computer Science
Computer Science
New York University