Skapa en profil
Offentlig åtkomst
Visa alla43 artiklar
0 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Daniel KroeningAmazonVerifierad e-postadress på amazon.com
- Antti E. J. HyvärinenSenior Research Scientist, CertoraVerifierad e-postadress på certora.com
- Grigory FedyukovichFlorida State UniversityVerifierad e-postadress på cs.fsu.edu
- Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityVerifierad e-postadress på cs.cmu.edu
- Aliaksei TsitovichCarityVerifierad e-postadress på carity.care
- Francesco AlbertiEolo SpAVerifierad e-postadress på eolo.it
- Roberto BruttomessoExpert Researcher and Software EngineerVerifierad e-postadress på atrenta.com
- silvio ghilardiUniversità degli Studi di MilanoVerifierad e-postadress på unimi.it
- Matteo MarescottiMeta, LondonVerifierad e-postadress på meta.com
- Ondrej SeryAssitent professor, Charles University in PragueVerifierad e-postadress på usi.ch
- Nishant SinhaFounder, Chief Scientist, OffNote LabsVerifierad e-postadress på in.ibm.com
- Simone Fulvio RolliniUniversity of LuganoVerifierad e-postadress på usi.ch
- Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusVerifierad e-postadress på mpi-sws.org
- Sepideh AsadiUniversita della Svizzera Italiana (USI), Lugano, SwitzerlandVerifierad e-postadress på usi.ch
- Christoph M. WintersteigerImandraVerifierad e-postadress på imandra.ai
- Stefano TonettaFondazione Bruno KesslerVerifierad e-postadress på fbk.eu
- Arie GurfinkelUniversity of WaterlooVerifierad e-postadress på uwaterloo.ca
- Byron CookProfessor of Computer Science, UCL, AmazonVerifierad e-postadress på cs.ucl.ac.uk
- Hana ChocklerKing's College LondonVerifierad e-postadress på kcl.ac.uk
- Silvio RaniseFBKVerifierad e-postadress på fbk.eu
Följ
Natasha Sharygina
Professor of Computer Science, Universita della Svizzera Italiana (USI), Lugano, Switzerland
Verifierad e-postadress på usi.ch - Startsida