Get my own profile
Co-authors
Orna GrumbergProfessor of Computer Science, TechnionVerified email at cs.technion.ac.il
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityVerified email at cs.cmu.edu
Gerard HolzmannNimble ResearchVerified email at nimbleresearch.com
Moshe Y. VardiRice UniversityVerified email at cs.rice.edu
Anca MuschollLaBRI, Univ. of BordeauxVerified email at labri.fr
Rajeev AlurZisman Family Professor of Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
Mihalis YannakakisPercy K. and Vida L. W. Hudson Professor of Computer Science, Columbia UniversityVerified email at cs.columbia.edu
Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU WienVerified email at forsyte.tuwien.ac.at
Daniel KroeningAmazonVerified email at cs.ox.ac.uk
Elsa L GunterResearch Associate Professor, University of Illinois at Urbana - ChampaignVerified email at illinois.edu
Saddek BensalemUniversité Grenoble Alpes, VERIMAGVerified email at univ-grenoble-alpes.fr
Pierre WolperProfessor of Computer Science, Université de Liège, BelgiumVerified email at ulg.ac.be
Marius MineaAssociate Professor, Politehnica University of TimisoaraVerified email at cs.upt.ro
Shmuel KatzComputer ScienceVerified email at cs.technion.ac.il
Klaus HavelundSenior Research Scientist, Jet Propulsion LaboratoryVerified email at jpl.nasa.gov
Husnu YenigunProfessor of Computer Science, Sabanci UniversityVerified email at sabanciuniv.edu
Wojciech PenczekProfessor of Computer Science, ICS PAS (Warsaw)Verified email at ipipan.waw.pl
Sven ScheweProfessor of Computer Science, University of LiverpoolVerified email at liverpool.ac.uk
Hongyang QuResearch Fellow, University of SheffieldVerified email at sheffield.ac.uk
Thomas WilkeProfessor of Computer Science, Dept. of Computer Science, Kiel UniversityVerified email at ti.informatik.uni-kiel.de
Doron A. Peled
Professor Of Computer Science, Bar Ilan University
Verified email at cs.biu.ac.il - Homepage