Get my own profile
Co-authors
Marta KwiatkowskaProfessor of Computing Systems, University of OxfordVerified email at comlab.ox.ac.uk
Alessio R LomuscioImperial College LondonVerified email at imperial.ac.uk
David ParkerProfessor of Computer Science, University of BirminghamVerified email at cs.bham.ac.uk
Franco RaimondiProfessor of Computer Science, Middlesex UniversityVerified email at mdx.ac.uk
Jamal BentaharConcordia UniversityVerified email at ciise.concordia.ca
Rachida DssouliConcordia UniversityVerified email at concordia.ca
Sandor VeresProfessor of Autonomous Control SystemsVerified email at sheffield.ac.uk
Doron A. PeledProfessor Of Computer Science, Bar Ilan UniversityVerified email at cs.biu.ac.il
Gethin NormanSenior Lecturer of Computing Science, Glasgow University, School of Computing ScienceVerified email at glasgow.ac.uk
Vojtěch ForejtDifflblueVerified email at diffblue.com
Mateusz UjmaDPhil Student, Oxford UniversityVerified email at cs.ox.ac.uk
Taolue ChenDepartment of Computer Science, University of SurreyVerified email at surrey.ac.uk
Charles PecheurProfessor of Computer Science, ICTEAM, Université catholique de LouvainVerified email at uclouvain.be
Simon BusardUniversité catholique de Louvain, ICTEAM, EPLVerified email at uclouvain.be
Wojciech PenczekProfessor of Computer Science, ICS PAS (Warsaw)Verified email at ipipan.waw.pl
Mads DamProfessor of Teleinformatics, KTH - Royal Institute of TechnologyVerified email at kth.se
Klaus DrägerQueen Mary, University of LondonVerified email at qmul.ac.uk
Lijun ZhangFull Professor, State Key Laboratory of Computer Science, Institute of Software ChineseVerified email at ios.ac.cn
Stavros TripakisAssociate Professor, Northeastern UniversityVerified email at northeastern.edu
Saddek BensalemUniversité Grenoble Alpes, VERIMAGVerified email at univ-grenoble-alpes.fr