Get my own profile
Public access
View all2 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Aquinas HoborAssociate Professor, University College LondonVerified email at ucl.ac.uk
Shengyi WangPrinceton UniversityVerified email at princeton.edu
Tobias KappéOpen Universiteit & ILLC, University of AmsterdamVerified email at uva.nl
Dexter KozenProfessor of Computer Science, Cornell UniversityVerified email at cs.cornell.edu
Nate FosterProfessor of Computer Science, Cornell UniversityVerified email at cs.cornell.edu
Linh TranGraduate Student, Yale UniversityVerified email at yale.edu