Get my own profile
Co-authors
Joao Marques-SilvaCNRS Research Director, IRIT, CNRS & ANITIVerified email at irit.fr
Ines LynceINESC-ID / IST, Universidade de LisboaVerified email at tecnico.ulisboa.pt
William KlieberCarnegie MellonVerified email at cs.cmu.edu
Radu GrigoreLecturer, University of KentVerified email at kent.ac.uk
Goetz BotterweckAssoc. Professor in Computer Science, Trinity College Dublin and LeroVerified email at lero.ie
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityVerified email at cs.cmu.edu
Anton BelovSynopsys Inc.Verified email at belov-mcdowell.com
Olaf BeyersdorffProfessor of Theoretical Computer Science, Friedrich Schiller University Jena, GermanyVerified email at uni-jena.de
Leroy ChewResearch Fellow, University of LeedsVerified email at leeds.ac.uk
Alexey IgnatievFaculty of Information Technology, Monash UniversityVerified email at monash.edu
Vasco ManquinhoINESC-ID, Instituto Superior Técnico - Universidade de LisboaVerified email at inesc-id.pt
Joseph KiniryPrincipal Scientist, Galois and Principled CEO & Chief Scientist, Free & FairVerified email at acm.org
Alessandro PrevitiEricsson ResearchVerified email at ericsson.com
Nikolaj BjornerMicrosoft ResearchVerified email at cs.stanford.edu
Ruben MartinsCarnegie Mellon UniversityVerified email at cs.cmu.edu
Miguel Terra-NevesResearch Scientist, OutSystemsVerified email at outsystems.com
Andrzej WąsowskiProfessor, IT University of Copenhagen, DenmarkVerified email at itu.dk
Jie-Hong Roland JiangProfessor of Electrical Engineering, National Taiwan UniversityVerified email at ntu.edu.tw
Valeriy BalabanovGoogleVerified email at google.com
Florian LonsingComputer Science Department, Stanford UniversityVerified email at cs.stanford.edu