Nicola Paoletti
Scholar

Nicola Paoletti

Google Scholar ID: v4R_cM4AAAAJ
Department of Informatics, King's College London
AI SafetyFormal MethodsVerificationCyber-Physical SystemsCausality
Citations & Impact
All-time
Citations
1,099
 
H-index
18
 
i10-index
29
 
Publications
20
 
Co-authors
99
list available
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