Get my own profile
Public access
View all21 articles
0 articles
available
not available
Based on funding mandates
Co-authors
- Thomas HenzingerIST AustriaVerified email at ist.ac.at
- Marco FaellaUniversità di Napoli "Federico II", ItalyVerified email at unina.it
- Rupak MajumdarMPI for Software SystemsVerified email at mpi-sws.org
- Krishnendu ChatterjeeProfessor, IST AustriaVerified email at ist.ac.at
- B. Thomas AdlerFacebook, Inc.Verified email at alumni.caltech.edu
- Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwenteVerified email at utwente.nl
- Vishwanath RamanPrivacy Architect, Oasis LabsVerified email at oasislabs.com
- Stefano MoretPrincipal Investigator & Group Leader, ETH ZurichVerified email at ethz.ch
- Marco L. Della VedovaSenior Lecturer at Chalmers University of TechnologyVerified email at chalmers.se
- Ashutosh KulshreshthaGoogleVerified email at google.com
- Pritam RoySenior Formal Verification Engineer, NVIDIA Corp.Verified email at nvidia.com
- axel legayUCLouvainVerified email at uclouvain.be
- Elena BaralisFull Professor, Computer engineering, Politecnico di Torino, ItalyVerified email at polito.it
- Eliana PastorPolitecnico di TorinoVerified email at polito.it
- Rajeev AlurZisman Family Professor of Computer and Information Science, University of PennsylvaniaVerified email at seas.upenn.edu
- Marta KwiatkowskaProfessor of Computing Systems, University of OxfordVerified email at comlab.ox.ac.uk
- J.J. Garcia-Luna-AcevesProfessor & CERC, University of Toronto; Distinguished Professor Emeritus, UC Santa CruzVerified email at soe.ucsc.edu
- Molly Can ZhangUniversity of California Santa CruzVerified email at ucsc.edu
- Andrea BiancoPolitecnico di Torino - Department of Electronics and TelecommunicationsVerified email at polito.it
- Gethin NormanSenior Lecturer of Computing Science, Glasgow University, School of Computing ScienceVerified email at glasgow.ac.uk