Get my own profile
Public access
View all6 articles
0 articles
available
not available
Based on funding mandates
Co-authors
- Patrick EugsterProf. Università della Svizzera italiana (USI), Adjunct Prof. Purdue UniversityVerified email at usi.ch
- Natasha SharyginaProfessor of Computer Science, Universita della Svizzera Italiana (USI), Lugano, SwitzerlandVerified email at usi.ch
- Antti E. J. HyvärinenSenior Research Scientist, CertoraVerified email at certora.com
- Matteo MarescottiMeta, LondonVerified email at meta.com
- Martin BlichaPostdoc at Università della Svizzera italiana, Lugano, SwitzerlandVerified email at usi.ch
- Augusto Cesar Alves SampaioUFPE - Universidade Federal de PernambucoVerified email at cin.ufpe.br
- Ana CavalcantiUniversity of YorkVerified email at cs.york.ac.uk
- Igor KonnovIndependent Security and Formal Methods ResearcherVerified email at konnov.phd
- Pavel ChuprikovUniversità della Svizzera italianaVerified email at usi.ch
- Robert RandAssistant Professor of Computer Science, University of ChicagoVerified email at uchicago.edu
- Robert SouléAssociate Professor of Computer Science, Yale UniversityVerified email at yale.edu