Dr Nicola Paoletti
Senior Lecturer in Computer Science
Research interests
- Computer science
Contact details
Biography
Dr Nicola Paoletti is a Senior Lecturer in Computer Science in the Department of Informatics, King's College London. Prior to this, he was a Lecturer at the Department of Computer Science at Royal Holloway, University of London (2018-2022). He was a post-doc in the Department of Computer Science, Stony Brook University, working within the CyberCardia project (2016-2018). Prior to this, Nicola was a post-doc in the Department of Computer Science, Oxford University (2014-2016). In 2013, he undertook a three month internship in the Biological Computation Group, at Microsoft Research Cambridge. Nicola obtained a PhD in Information Sciences and Complex Systems from Università di Camerino in 2014.
Research interests
- Cyber-physical systems
- Formal verification and synthesis
- AI safety and security
- Healthcare and medical applications
Further information
Research
Health (Informatics)
The Health Hub centres on computational characterisation of medically relevant study cases and data.
Security (Informatics)
The Security Hub consolidates the research related to security
King's Cybersecurity Centre
King's Cybersecurity Centre is an EPSRC-NCSC Academic Centre of Excellence in Cyber Security Research (ACE-CSR). It provides expertise on most areas of cyber security, it has a critical mass of researchers working on three main research themes and their interrelationship.
Software Systems
The group studies design, modelling and engineering of software systems.
News
Five King's scientists win prestigious New Investigator Awards
The academics awarded over £2 million from the Engineering and Physical Sciences Research Council (EPSRC).
Features
King's students build, code and race self-driving cars at the 11th F1TENTH Autonomous Grand Prix
The team from the Department of Informatics got hands-on with autonomous vehicles alongside engineers from across the globe at the ExCel Centre last month
Research
Health (Informatics)
The Health Hub centres on computational characterisation of medically relevant study cases and data.
Security (Informatics)
The Security Hub consolidates the research related to security
King's Cybersecurity Centre
King's Cybersecurity Centre is an EPSRC-NCSC Academic Centre of Excellence in Cyber Security Research (ACE-CSR). It provides expertise on most areas of cyber security, it has a critical mass of researchers working on three main research themes and their interrelationship.
Software Systems
The group studies design, modelling and engineering of software systems.
News
Five King's scientists win prestigious New Investigator Awards
The academics awarded over £2 million from the Engineering and Physical Sciences Research Council (EPSRC).
Features
King's students build, code and race self-driving cars at the 11th F1TENTH Autonomous Grand Prix
The team from the Department of Informatics got hands-on with autonomous vehicles alongside engineers from across the globe at the ExCel Centre last month