Get my own profile
Public access
View all22 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Valentin WüstholzConsenSysVerified email at consensys.net
Peter MüllerETH ZurichVerified email at inf.ethz.ch
Konstantinos SagonasUppsala University and National Technical University of AthensVerified email at it.uu.se
Muhammad Numair MansurAmazon Web ServicesVerified email at amazon.com
Fuyuan ZhangMPI-SWSVerified email at mpi-sws.org
Hasan Ferit EniserMPI-SWSVerified email at mpi-sws.org
Joerg HoffmannProfessor, Saarland Informatics Campus, Saarland University and German Research Center for AI (DFKI)Verified email at cs.uni-saarland.de
Christian BirdMicrosoft ResearchVerified email at microsoft.com
Jorge A NavasCertoraVerified email at certora.com
Alkis GotovosMax Planck Institute for Software Systems (MPI-SWS)Verified email at mpi-sws.org
Patrice GodefroidLaceworkVerified email at lacework.net
Arie GurfinkelUniversity of WaterlooVerified email at uwaterloo.ca
Timo P. GrosGerman Research Center for Artificial Intelligence (DFKI)Verified email at dfki.de
Sankalan Pal ChowdhuryDoctoral Student, ETH ZurichVerified email at ethz.ch
Caterina UrbanInria & École Normale Supérieure | Université PSL, Paris, FranceVerified email at inria.fr
Isil DilligUT AustinVerified email at cs.utexas.edu
Kostas FerlesThe University of Texas at AustinVerified email at cs.utexas.edu
Holger HermannsProfessor of Computer Science, Saarland University, Saarland Informatics CampusVerified email at cs.uni-saarland.de
Scott D. FlemingUniversity of MemphisVerified email at memphis.edu
Austin Z. HenleyCarnegie Mellon UniversityVerified email at cmu.edu