Get my own profile
Public access
View all7 articles
0 articles
available
not available
Based on funding mandates
Co-authors
- Julian GutierrezMonash University Senior LecturerVerified email at monash.edu
- Michael WooldridgeUniversity of OxfordVerified email at cs.ox.ac.uk
- Giuseppe PerelliAssistant Professor at Sapienza University of RomeVerified email at di.uniroma1.it
- Anthony Widjaja LinProfessor@TU Kaiserslautern, Max-Planck Fellow at Max-Planck Institute for Software SystemsVerified email at cs.uni-kl.de
- Thomas SteeplesDPhil student, University of OxfordVerified email at cs.ox.ac.uk
- Lewis HammondUniversity of OxfordVerified email at cs.ox.ac.uk
- Paul HarrensteinPost-doctoral researcher, University of OxfordVerified email at in.tum.de
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKVerified email at cs.ox.ac.uk
- Marta KwiatkowskaProfessor of Computing Systems, University of OxfordVerified email at comlab.ox.ac.uk
- Chih-Duo Hong (洪智鐸)National Chengchi University, TaiwanVerified email at nccu.edu.tw
- Daniel NeiderTU Dortmund University and Center for Trustworthy Data Science and SecurityVerified email at tu-dortmund.de
- Parosh AbdullaProfessor of Computer Science, Uppsala UniversityVerified email at it.uu.se
- Daniel STANEPITA LREVerified email at epita.fr