Get my own profile
Co-authors
Tom MelhamProfessor of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
Magnus CarlssonVerified email at carlssonia.org
Carroll MorganProfessor, University of New South Wales and DATA61Verified email at unsw.edu.au
Annabelle McIverMacquarie UniversityVerified email at mq.edu.au
Scott OwensUniversity of KentVerified email at kent.ac.uk
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
John LaunchburyChief Scientist, GaloisVerified email at galois.com