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
Michael ShavlovskyApplied Scientist, AmazonVerified email at amazon.com
Pritam RoySenior Formal Verification Engineer, NVIDIA Corp.Verified email at nvidia.com
Elena BaralisFull Professor, Computer engineering, Politecnico di Torino, ItalyVerified email at polito.it
Eliana PastorPolitecnico di TorinoVerified email at polito.it
axel legayUCLouvainVerified email at uclouvain.be
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