Skip to main content
Nicola Paoletti

Dr Nicola Paoletti

Senior Lecturer in Computer Science

Research interests

  • Computer science

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

    hospital-news
    Health Hub

    The Health Hub centres on computational characterisation of medically relevant study cases and data.

    THUMB PAGE Security Cameras
    Security Hub

    The Security Hub consolidates the research related to security

    cyberculture
    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.

    ARTICLE Code
    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).

    News release-img

    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

    ICRA-feature image (1)

      Research

      hospital-news
      Health Hub

      The Health Hub centres on computational characterisation of medically relevant study cases and data.

      THUMB PAGE Security Cameras
      Security Hub

      The Security Hub consolidates the research related to security

      cyberculture
      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.

      ARTICLE Code
      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).

      News release-img

      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

      ICRA-feature image (1)