Get my own profile
Public access
View all44 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Daniel KroeningAmazonVerified email at amazon.com
Antti E. J. HyvärinenSenior Research Scientist, CertoraVerified email at certora.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
Stefano TonettaFondazione Bruno KesslerVerified email at fbk.eu
Christoph M. WintersteigerImandraVerified email at imandra.ai
Arie GurfinkelUniversity of WaterlooVerified email at uwaterloo.ca
Byron CookProfessor of Computer Science, UCL, AmazonVerified email at cs.ucl.ac.uk
Hana ChocklerKing's College LondonVerified email at kcl.ac.uk
Silvio RaniseFBKVerified email at fbk.eu
Follow![Natasha Sharygina](https://scholar.googleusercontent.com/citations?view_op=view_photo&user=FfGdGrYAAAAJ&citpid=6)
Natasha Sharygina
Professor of Computer Science, Universita della Svizzera Italiana (USI), Lugano, Switzerland
Verified email at usi.ch - Homepage