Scholar
Nicola Paoletti
Google Scholar ID: v4R_cM4AAAAJ
Department of Informatics, King's College London
AI Safety
Formal Methods
Verification
Cyber-Physical Systems
Causality
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,099
H-index
18
i10-index
29
Publications
20
Co-authors
99
list available
Contact
Email
nicola.paoletti@rhul.ac.uk
CV
Open ↗
LinkedIn
Open ↗
Publications
13 items
An STREL-based Formulation of Spatial Resilience in Cyber-Physical Systems
2025
Cited
0
Physics-Informed Neural Operators for Cardiac Electrophysiology
2025
Cited
0
CONFEX: Uncertainty-Aware Counterfactual Explanations with Conformal Guarantees
2025
Cited
0
Reliable Inference in Edge-Cloud Model Cascades via Conformal Alignment
2025
Cited
0
Conformal Predictive Monitoring for Multi-Modal Scenarios
2025
Cited
0
DRMD: Deep Reinforcement Learning for Malware Detection under Concept Drift
2025
Cited
0
Abstract Counterfactuals for Language Model Agents
2025
Cited
0
SimICD: A Closed-Loop Simulation Framework For ICD Therapy
2025
Cited
0
Load more
Resume (English only)
Academic Achievements
- Sep 22: Paper 'An STL-Based Formulation of Resilience in Cyber-Physical Systems' received the best paper award at FORMATS'22.
- Jul 22: Paper 'Neural Predictive Monitoring for Collective Adaptive Systems' accepted for presentation at ISoLA 2022.
- Jun 22: Paper 'An STL-Based Formulation of Resilience in Cyber-Physical Systems' accepted for presentation at FORMATS'22.
- Mar 22: Consortium awarded an EC HORIZON-RIA grant on REXASI-PRO.
- Dec 21: Obtained an EPSRC New Investigator Award on MCPS-Verisec.
- Aug 21 to May 21: Multiple papers accepted by CDC, RV, UAI, FUZZ-IEEE, IJCAI, AAMAS, etc.
Research Experience
- Sep 22: Moved from the Department of Computer Science at Royal Holloway to the Department of Informatics at King's College London.
- Jul 22: Attended the Daghstul Seminar on Security of Machine Learning.
- Jun 22: Attended the Lorentz Center Workshop on Rigorous Automated Planning.
- Aug 21 to Dec 21: Involved in organizing multiple international conferences and workshops including HSCC, RV, NSV, etc.
Background
Senior Lecturer (Associate Professor) @ King's College London, UK
Co-authors
99 total
Marta Kwiatkowska
Professor of Computing Systems, University of Oxford
Scott A. Smolka
Professor of Computer Science, Stony Brook University
Emanuela Merelli
University of Camerino
Shan Lin
Associate Professor in Electrical and Computer Engineering at Stony Brook Univ
Pietro Liò
Professor, University of Cambridge
Milan Ceska
Brno University of Technology
Co-author 7
Co-author 8
×
Welcome back
Sign in to Agora
Welcome back! Please sign in to continue.
Email address
Password
Forgot password?
Continue
Do not have an account?
Sign up