Nicola Paoletti (Preferred)
Nicola Paoletti
Associate Professor, King's College London, University of London
Joined
November 2021
Names
Emails
****@gmail.com (Confirmed)
****@kcl.ac.uk (Confirmed)
****@cs.ox.ac.uk
****@rhul.ac.uk
****@cs.stonybrook.edu
Personal Links
Career & Education History
Associate Professor
King's College London, University of London (kcl.ac.uk)
2022 – Present
Lecturer
Royal Holloway, University of London (rhul.ac.uk)
2018 – 2022
Postdoc
State University of New York at Stony Brook (stonybrook.edu)
2016 – 2018
Postdoc
Department of Computer Science, University of Oxford (cs.ox.ac.uk)
2014 – 2016
Advisors, Relations & Conflicts
Expertise
safety
, interpretability
, reliability
Present
verification
, synthesis
, control
, monitoring
, cyber-physical systems
Present
Publications
Co-Authors
- Agnieszka M. Zbrzezny
- Agnieszka Zbrzezny
- Alessandro Abate
- Alessio Lomuscio
- Alexandru Mereacre
- Aman Bilkhoo
- Amir Rahmati
- Andrea Patane
- Andrea Patanè
- Andrea Patané
- Ashish Tiwari
- Bedour Alrayes
- Ben Batten
- Benoît Barbot
- Boyan Yordanov
- Chris Barker
- Christoph M. Wintersteiger
- David Watson
- Dung T. Phan
- Edmund M. Clarke
- Edoardo Pona
- Ekaterina Tishchenko
- Elizabeth Cherry
- Emanuela Merelli
- Emanuele La Malfa