Get my own profile
Public access
View all134 articles
1 article
available
not available
Based on funding mandates
Co-authors
- Gethin NormanSenior Lecturer of Computing Science, Glasgow University, School of Computing ScienceVerified email at glasgow.ac.uk
- David ParkerProfessor of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
- Radu CalinescuProfessor of Computer Science, University of YorkVerified email at york.ac.uk
- Jeremy SprostonAssistant professor, University of TurinVerified email at di.unito.it
- Luca LaurentiTU DelftVerified email at tudelft.nl
- Luca CardelliUniversity of OxfordVerified email at cs.ox.ac.uk
- Andrea PataneTrinity College DublinVerified email at tcd.ie
- Vojtěch ForejtDifflblueVerified email at diffblue.com
- Nicola PaolettiDepartment of Informatics, King's College LondonVerified email at kcl.ac.uk
- Xiaowei HuangProfessor of Computer Science, University of LiverpoolVerified email at liverpool.ac.uk
- Taolue ChenSchool of Computing and Mathematical Sciences, Birkbeck, University of LondonVerified email at bbk.ac.uk
- Hongyang QuResearch Fellow, University of SheffieldVerified email at sheffield.ac.uk
- Roberto SegalaUniversitą di VeronaVerified email at univr.it
- Min WuDepartment of Computer Science, Stanford UniversityVerified email at stanford.edu
- Christel BaierTU DresdenVerified email at tu-dresden.de
- Matthew WickerImperial College London & The Alan Turing InstituteVerified email at imperial.ac.uk
- Alexandru MereacreNquiringminds LtdVerified email at nquiringminds.com
- Milan CeskaBrno University of TechnologyVerified email at fit.vutbr.cz
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKVerified email at cs.ox.ac.uk
- Wenjie RuanSenior Lecturer, University of ExeterVerified email at cs.ox.ac.uk
Follow
Marta Kwiatkowska
Professor of Computing Systems, University of Oxford
Verified email at comlab.ox.ac.uk - Homepage