Get my own profile
Public access
View all45 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Antti E. J. HyvärinenSenior Research Scientist, CertoraVerified email at certora.com
Daniel KroeningAmazonVerified email at amazon.com
Grigory FedyukovichFlorida State UniversityVerified email at cs.fsu.edu
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityVerified email at cs.cmu.edu
Aliaksei TsitovichCarityVerified email at carity.care
Francesco AlbertiEolo SpAVerified email at eolo.it
Roberto BruttomessoExpert Researcher and Software EngineerVerified email at atrenta.com
silvio ghilardiUniversità degli Studi di MilanoVerified email at unimi.it
Matteo MarescottiMeta, LondonVerified email at meta.com
Ondrej SeryAssitent professor, Charles University in PragueVerified email at usi.ch
Nishant SinhaFounder, Chief Scientist, OffNote LabsVerified email at in.ibm.com
Simone Fulvio RolliniUniversity of LuganoVerified email at usi.ch
Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusVerified email at mpi-sws.org
Sepideh AsadiUniversita della Svizzera Italiana (USI), Lugano, SwitzerlandVerified email at usi.ch
Christoph M. WintersteigerImandraVerified email at imandra.ai
Stefano TonettaFondazione Bruno KesslerVerified email at fbk.eu
Arie GurfinkelUniversity of WaterlooVerified email at uwaterloo.ca
Hana ChocklerKing's College LondonVerified email at kcl.ac.uk
Byron CookProfessor of Computer Science, UCL, AmazonVerified email at cs.ucl.ac.uk
Silvio RaniseFBKVerified email at fbk.eu
Follow
Natasha Sharygina
Professor of Computer Science, Universita della Svizzera Italiana (USI), Lugano, Switzerland
Verified email at usi.ch - Homepage