Get my own profile
Co-authors
Magnus CarlssonVerified email at carlssonia.org
Tom MelhamProfessor of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
Carroll MorganProfessor, University of New South WalesVerified email at unsw.edu.au
Annabelle McIverMacquarie UniversityVerified email at mq.edu.au
Scott OwensUniversity of KentVerified email at kent.ac.uk
Guodong LiNanjing University, University of Utah, Fujitsu Labs of America, Synopsys, GoogleVerified email at cs.utah.edu
G McC HaworthHonorary Fellow, University of ReadingVerified email at reading.ac.uk
Alcino CunhaHASLab, INESC TEC and Universidade do MinhoVerified email at di.uminho.pt
Iago AbalComputer Engineer & ResearcherVerified email at iagoabal.eu
Jorge Sousa PintoHASLab / INESC TEC & Universidade do MinhoVerified email at di.uminho.pt
John LaunchburyChief Scientist, GaloisVerified email at galois.com
Ashish DarbariFOUNDER & CEO, AXIOMISEVerified email at DARBARI.ORG