
Registered user since Wed 25 Jun 2014
Name:Ruzica Piskac
Country:United States
Affiliation:Yale University
Personal website:http://www.cs.yale.edu/~piskac/
Contributions
ProLaLa 2023 | Academic keynote : A Logician and Lawyer walk into a Classroom | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2023-profile
View general profile
View general profile