Get my own profile
Public access
View all4 articles
0 articles
available
not available
Based on funding mandates
Co-authors
James BrotherstonProfessor of Logic and Computation, University College LondonVerified email at ucl.ac.uk
Anthony HunterProfessor of Artificial Intelligence, University College LondonVerified email at cs.ucl.ac.uk
Franco RaimondiProfessor of Computer Science, Gran Sasso Science InstituteVerified email at gssi.it
Peter O'HearnUniversity College LondonVerified email at ucl.ac.uk
Diletta Romana CacciagranoUniversity of CamerinoVerified email at unicam.it
Rosario CulmoneUniversity of CamerinoVerified email at unicam.it
Leonardo MostardaAssociate professor, university of PerugiaVerified email at unipg.it
Ilya SergeyAssociate Professor, National University of SingaporeVerified email at nus.edu.sg
Sam BlackshearMysten LabsVerified email at mystenlabs.com
Juan Antonio Navarro PérezGoogleVerified email at google.com
Mark D. RyanProfessor of Computer Security, University of BirminghamVerified email at bham.ac.uk
Rasmus Lerchedahl PetersenMicrosoft ResearchVerified email at microsoft.com
Flavio CorradiniProfessore di Informatica, Università di CamerinoVerified email at unicam.it
Giuseppe PrimieroDepartment of Philosophy, University of MilanVerified email at unimi.it
Carsten FuhsSenior Lecturer, Birkbeck, University of LondonVerified email at dcs.bbk.ac.uk
Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusVerified email at mpi-sws.org
Christoph HaaseUniversity of OxfordVerified email at cs.ox.ac.uk
Timos AntonopoulosResearch Scientist, Yale UniversityVerified email at yale.edu
Kelly AndroutsopoulosSenior Lecturer in Software Engineering, Middlesex UniversityVerified email at mdx.ac.uk
Reuben N. S. RoweRoyal Holloway University of LondonVerified email at rhul.ac.uk