Get my own profile
Public access
View all33 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Cesare TinelliProfessor of Computer Science, The University of IowaVerified email at uiowa.edu
Clark BarrettStanford UniversityVerified email at cs.stanford.edu
Haniel BarbosaUniversidade Federal de Minas GeraisVerified email at dcc.ufmg.br
Morgan DetersSenior Research Scientist, NYUVerified email at cs.nyu.edu
Liana HadareanAmazon Web ServicesVerified email at amazon.com
Tim KingGoogle IncVerified email at google.com
Mathias PreinerStanford UniversityVerified email at cs.stanford.edu
Dejan JovanovićAmazon Web ServicesVerified email at amazon.com
Aina NiemetzStanford UniversityVerified email at cs.stanford.edu
Andres NötzliStanford UniversityVerified email at stanford.edu
Yoni ZoharBar Ilan UniversityVerified email at biu.ac.il
Tianyi LiangTwo Sigma Investments LPVerified email at uiowa.edu
Martin BrainCity, University of LondonVerified email at city.ac.uk
Ying ShengPhD student of Stanford UniversityVerified email at stanford.edu
Viktor KunčakEPFLVerified email at epfl.ch
Gereon KremerCertora LtdVerified email at cs.stanford.edu
Alex OzdemirStanford UniversityVerified email at stanford.edu
Hanna LachnittStanford UniversityVerified email at stanford.edu
Makai MannTechnical Staff, MIT Lincoln LaboratoryVerified email at ll.mit.edu
Abdalrhman MohamedPhD student, Stanford UniversityVerified email at stanford.edu