Get my own profile
Public access
View all3 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
Andrey RybalchenkoMicrosoft ResearchVerified email at microsoft.com
Anindya BanerjeeProfessor, IMDEA Software InstituteVerified email at imdea.org
Jonas EckhardtTechnische Universität MünchenVerified email at in.tum.de
Shuvendu LahiriSenior Principal Researcher, Microsoft ResearchVerified email at microsoft.com
Shaz QadeerSoftware Engineer, MetaVerified email at meta.com
Corneliu PopeeaTechnische Universität MünchenVerified email at model.in.tum.de
Yutaka NagashimaHuawei Technologies R&D (UK)Verified email at huawei.com