Get my own profile
Public access
View all14 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Andreas PodelskiProfessor of Computer Science, Freiburg UniversityVerified email at informatik.uni-freiburg.de
Corneliu PopeeaTechnische Universität MünchenVerified email at model.in.tum.de
Byron CookProfessor of Computer Science, UCL, AmazonVerified email at cs.ucl.ac.uk
Nuno P. LopesINESC-ID, Instituto Superior Técnico, Universidade de LisboaVerified email at tecnico.ulisboa.pt
Rupak MajumdarMPI for Software SystemsVerified email at mpi-sws.org
Thomas HenzingerIST AustriaVerified email at ist.ac.at
Juan Antonio Navarro PérezGoogleVerified email at google.com
Boris KöpfAzure Research, MicrosoftVerified email at microsoft.com
Tewodros A. Beyenefortiss GmbHVerified email at fortiss.org
Dirk BeyerProfessor of Computer Science, LMU Munich, GermanyVerified email at lmu.de
Sergey GrebenshchikovTechnische Universität MünchenVerified email at in.tum.de
Klaus v. GleissenthallAssistant Professor, Vrije Universiteit AmsterdamVerified email at ucsd.edu
Viorica Sofronie-StokkermansProfessor, University of KoblenzVerified email at uni-koblenz.de
Arie GurfinkelUniversity of WaterlooVerified email at uwaterloo.ca
Moshe Y. VardiRice UniversityVerified email at cs.rice.edu
Michael BackesChairman and Founding Director of the CISPA Helmholtz Center for Information SecurityVerified email at cispa.saarland
Swarat ChaudhuriUT Austin, Google DeepmindVerified email at cs.utexas.edu
Johannes FaberUnited Nations University, International Institute for Software Technology (UNU-IIST)Verified email at iist.unu.edu
Mooly SagivTel Aviv UniversityVerified email at acm.org
Sumit GulwaniDistinguished Scientist, MicrosoftVerified email at microsoft.com