Get my own profile
Public access
View all2 articles
0 articles
available
not available
Based on funding mandates
Co-authors
- Bart JacobsProfessor of Software Security and Correctness, Radboud University NijmegenVerified email at cs.ru.nl
- John PowerHonorary Professor in Computing, Macquarie UniversityVerified email at bath.edu
- James WorrellProfessor of Computer Science, Oxford UniversityVerified email at cs.ox.ac.uk
- Uday ReddyUniversity of BirminghamVerified email at cs.bham.ac.uk
- Edmund RobinsonProfessor of Computer Science, Queen Mary, University of LondonVerified email at qmul.ac.uk
- Paulo MateusProfessor of Logic and Computation, Instituto Superior Técnico, Lisboa, PortugalVerified email at math.ist.utl.pt
- Alessio SantamariaLecturer at the University of SussexVerified email at sussex.ac.uk
- Marta BungeEmeritus Professor of Mathematics, McGill UniversityVerified email at mcgill.ca