Get my own profile
Co-authors
- Bruce H. KroghProfessor of Electrical and Computer Engineering, Carnegie Mellon UniversityVerified email at ece.cmu.edu
- Pieter J. MostermanMathWorksVerified email at mathworks.com
- A FehnkerMacquarie UniversityVerified email at mq.edu.au
- Michael TheobaldD. E. Shaw Research Verified email at deshawresearch.com
- Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityVerified email at cs.cmu.edu
- Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusVerified email at mpi-sws.org
- James T. AllisonUniversity of Illinois at Urbana-ChampaignVerified email at illinois.edu
- Goran FrehseProfessor of Computer Science, ENSTA ParisVerified email at ensta-paris.fr
- Justyna ZanderAIVerified email at hsph.harvard.edu
- Gabor SimkoGoogleVerified email at google.com