Get my own profile
Co-authors
Toby WalshProfessor, UNSW and Data61Verified email at cse.unsw.edu.au
George KatsirelosINRAEVerified email at inrae.fr
Claude-Guy QuimperUniversité LavalVerified email at ift.ulaval.ca
Leonid RyzhykVMware ResearchVerified email at vmware.com
christian bessiereCNRSVerified email at lirmm.fr
Shiva KasiviswanathanAmazon Machine LearningVerified email at amazon.com
Joao Marques-SilvaCNRS Research Director, IRIT, CNRS & ANITIVerified email at irit.fr
Alexey IgnatievFaculty of Information Technology, Monash UniversityVerified email at monash.edu
Serge GaspersAssociate Professor, UNSW Sydney, AustraliaVerified email at cse.unsw.edu.au
Mooly SagivTel Aviv UniversityVerified email at acm.org
Lirong XiaAssociate Professor, Rensselaer Polytechnic Institute (RPI)Verified email at cs.rpi.edu
Thomas KalinowskiUniversity of New EnglandVerified email at une.edu.au
Nicholas MatteiAssistant Professor, Tulane UniversityVerified email at tulane.edu
Emmanuel HebrardLAAS-CNRSVerified email at laas.fr
Fahiem BacchusProfessor of Computer Science, University of TorontoVerified email at cs.toronto.edu
Nadjib LazaarMaître de conférence, LIRMM-CNRS, Université de Montpellier 2Verified email at lirmm.fr
Haris AzizUNSW Sydney - Scientia Associate ProfessorVerified email at unsw.edu.au
remi colettaMaitre de Conférences, LIRMM - Université Montpellier 2Verified email at lirmm.fr
Michael MaherReasoning Research InstituteVerified email at reasoning.org.au
Andrea LoreggiaEuropean University InstituteVerified email at eui.eu