Get my own profile
Co-authors
Somesh JhaLubar Chair of Computer Science, University of WisconsinVerified email at cs.wisc.edu
Orna GrumbergProfessor of Computer Science, TechnionVerified email at cs.technion.ac.il
Andreas HolzerUniversity of TorontoVerified email at cs.toronto.edu
Christian SchallhartGoogleVerified email at schallhart.net
Daniel KroeningAmazonVerified email at cs.ox.ac.uk
Johannes KinderProfessor of Computer Science, Bundeswehr University MunichVerified email at unibw.de
Igor KonnovPrincipal scientist, Informal SystemsVerified email at informal.systems
Michael TautschnigQueen Mary University of LondonVerified email at qmul.ac.uk
Thomas HenzingerIST AustriaVerified email at ist.ac.at
Georg GottlobProfessor of Informatics, University of OxfordVerified email at cs.ox.ac.uk
Roderick BloemGraz University of TechnologyVerified email at iaik.tugraz.at
Tomer KotekTU WienVerified email at forsyte.at
Mihai ChristodorescuVisa ResearchVerified email at christodorescu.org
Erich GrädelRWTH Aachen UniversityVerified email at logic.rwth-aachen.de
Thomas EiterVienna University of TechnologyVerified email at kr.tuwien.ac.at
Alex GroceAssociate Professor of Computer Science, Northern Arizona UniversityVerified email at nau.edu
Natasha SharyginaProfessor of Computer Science, Universita della Svizzera Italiana (USI), Lugano, SwitzerlandVerified email at usi.ch
Ayrat KhalimovUniversité libre de BruxellesVerified email at ulb.ac.be
Nicola LeoneUniversity of Calabria, Professor of Computer ScienceVerified email at unical.it
Azadeh FarzanAssociate Professor, University of TorontoVerified email at cs.toronto.edu
Helmut Veith
Professor of Computer Science, Vienna University of Technology / TU Wien
Verified email at forsyte.tuwien.ac.at - Homepage