Skip to main content
Professor Luca Viganò
Professor Luca Viganò

Professor Luca Viganò

Vice-Dean (Enterprise and Engagement) and Head of Cybersecurity Group

  • Professor of Computer Science

Research interests

  • Computer science

Biography

Research Interests

  • Formal Methods for security
  • Security logics
  • Security testing
  • Labelled deduction for non-classical logics (modal logics, substructural logics, etc.)
  • Combination of logics

More Information

    Research

    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.

    FEATURE Finance
    Finance (Informatics)

    The Finance Hub conducts fundamental and applied research at the intersection of finance and computation, a sector which is colloquially known as FinTech.

    hospital-news
    Health (Informatics)

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

    sustainable ai_st_1428308240 copy
    Sustainability Hub

    The Sustainability Hub consolidates the research related to sustainability

    THUMB PAGE Security Cameras
    Security (Informatics)

    The Security Hub consolidates the research related to security

    Robots in the Department of Informatics
    Trusted Autonomous Systems (Informatics)

    The Trusted Autonomous Systems Hub develops the trustable autonomous systems of tomorrow.

    Security
    Cybersecurity

    The group studies design, modelling, analysis, verification and testing of networks and systems.

    Digital-Forensics-hero
    Digital Forensics & Cybercrime

    The Digital Forensics & Cybercrime group seeks to support policy development and set national standards based on the latest technology.

    emma-fabbri-E3YXPcOkhHU-unsplash
    Centre for Italian Politics @EIS

    The Centre for Italian Politics at the Department of European and International Studies

    it-security-cyber
    Cyber Security Research Group

    CSRG promotes research into cyber security bringing together experts from diverse disciplines.

    News

    'Inspirational, informative and thought-provoking': King's Festival of Artificial Intelligence

    King’s opened its doors to the public to explore the latest AI developments at this five-day festival.

    AI Festival AI Panel Auditorium 2

    New Scientist Live 2023

    From fortune-telling with ChatGPT to the cybersecurity of fairy tales, King’s academics showcased their latest research and demonstrations in physics,...

    New Scientist Live 2023 event thumbnail

    New scholarships scheme for postgraduate students

    King’s is delighted to be one of the founding partners of the Martingale Foundation established to support students hoping to study for a PhD in STEM subjects.

    Nev Strand campus

    New international partnership exploring 6G

    6G partnership between King's and Capgemini

    Toktam Mahmoodi

    New Visiting Professors

    New Visiting Professors join Faculty of Natural, Mathematical & Engineering Sciences

    Bush House

    King's Global Envoy elected to international body

    Professor Luca Viganò elected to UNICA steering committee

    Luca Viganò

    NMES and Entrepreneurship

    Interview with Vice-Dean Enterprise and Engagement

    Luca Viganò

    Professors Gallagher and Viganò Global Envoys for King's College London

    Prof Gallagher and Prof Viganò have been appointed as a Global Envoys for King's College London, deputising for VP Prof Funmi Olonisakin

    globes

    Festive science for local schools at Christmas Lectures 2017

    On Tuesday 5 December, the Faculty of Natural & Mathematical Sciences’ Christmas Lectures 2017 brought a festive flavour to the research being undertaken...

    Dr Martin Bishop

    Faculty Annual Prize Giving 2018

    Students and staff from across the Faculty were celebrated at the NMS Annual Prize Giving in the Great Hall on Wednesday 28 November 2018. We wish to...

    Pink and blue fibre optic cables arranged like an explosion

    Events

    25MayThe First 780x440

    The First

    Attend this screening of a short film which explores what happens when humans turn the table on AI.

    Please note: this event has passed.

    24MayFairy tale tapestry fox deer horse

    Fairy Tales of AI and Cybersecurity

    Professor Luca Viganò uses fairy tales to illustrate the concepts of cybersecurity and AI.

    Please note: this event has passed.

      Research

      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.

      FEATURE Finance
      Finance (Informatics)

      The Finance Hub conducts fundamental and applied research at the intersection of finance and computation, a sector which is colloquially known as FinTech.

      hospital-news
      Health (Informatics)

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

      sustainable ai_st_1428308240 copy
      Sustainability Hub

      The Sustainability Hub consolidates the research related to sustainability

      THUMB PAGE Security Cameras
      Security (Informatics)

      The Security Hub consolidates the research related to security

      Robots in the Department of Informatics
      Trusted Autonomous Systems (Informatics)

      The Trusted Autonomous Systems Hub develops the trustable autonomous systems of tomorrow.

      Security
      Cybersecurity

      The group studies design, modelling, analysis, verification and testing of networks and systems.

      Digital-Forensics-hero
      Digital Forensics & Cybercrime

      The Digital Forensics & Cybercrime group seeks to support policy development and set national standards based on the latest technology.

      emma-fabbri-E3YXPcOkhHU-unsplash
      Centre for Italian Politics @EIS

      The Centre for Italian Politics at the Department of European and International Studies

      it-security-cyber
      Cyber Security Research Group

      CSRG promotes research into cyber security bringing together experts from diverse disciplines.

      News

      'Inspirational, informative and thought-provoking': King's Festival of Artificial Intelligence

      King’s opened its doors to the public to explore the latest AI developments at this five-day festival.

      AI Festival AI Panel Auditorium 2

      New Scientist Live 2023

      From fortune-telling with ChatGPT to the cybersecurity of fairy tales, King’s academics showcased their latest research and demonstrations in physics,...

      New Scientist Live 2023 event thumbnail

      New scholarships scheme for postgraduate students

      King’s is delighted to be one of the founding partners of the Martingale Foundation established to support students hoping to study for a PhD in STEM subjects.

      Nev Strand campus

      New international partnership exploring 6G

      6G partnership between King's and Capgemini

      Toktam Mahmoodi

      New Visiting Professors

      New Visiting Professors join Faculty of Natural, Mathematical & Engineering Sciences

      Bush House

      King's Global Envoy elected to international body

      Professor Luca Viganò elected to UNICA steering committee

      Luca Viganò

      NMES and Entrepreneurship

      Interview with Vice-Dean Enterprise and Engagement

      Luca Viganò

      Professors Gallagher and Viganò Global Envoys for King's College London

      Prof Gallagher and Prof Viganò have been appointed as a Global Envoys for King's College London, deputising for VP Prof Funmi Olonisakin

      globes

      Festive science for local schools at Christmas Lectures 2017

      On Tuesday 5 December, the Faculty of Natural & Mathematical Sciences’ Christmas Lectures 2017 brought a festive flavour to the research being undertaken...

      Dr Martin Bishop

      Faculty Annual Prize Giving 2018

      Students and staff from across the Faculty were celebrated at the NMS Annual Prize Giving in the Great Hall on Wednesday 28 November 2018. We wish to...

      Pink and blue fibre optic cables arranged like an explosion

      Events

      25MayThe First 780x440

      The First

      Attend this screening of a short film which explores what happens when humans turn the table on AI.

      Please note: this event has passed.

      24MayFairy tale tapestry fox deer horse

      Fairy Tales of AI and Cybersecurity

      Professor Luca Viganò uses fairy tales to illustrate the concepts of cybersecurity and AI.

      Please note: this event has passed.