Skip to main content
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
    Forensic Policy & Regulation

    The Forensic Policy & Regulation 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

    Return of five-day Festival of AI sees over 1500 people exploring AI at King's

    Find out more about the King’s Festival of Artificial Intelligence held between 21 and 25 May 2024

    King's Festival of Artificial Intelligence 2024 Jeanette Winterson Safra Lecture (2)

    '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

    Events

    24MayRobot woman workplace 780x440

    How To… Use AI in the Workplace

    Session number four of the ‘How To…’ series of the 2023-24 academic year, supporting students and recent graduates to be well-prepared for the workplace and...

    Please note: this event has passed.

    18AprTravel panel

    The academic flyout culture panel

    How do we minimise emissions from air travel while improving diversity and equity in academia and continuing our internal ambitions?

    Please note: this event has passed.

    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
      Forensic Policy & Regulation

      The Forensic Policy & Regulation 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

      Return of five-day Festival of AI sees over 1500 people exploring AI at King's

      Find out more about the King’s Festival of Artificial Intelligence held between 21 and 25 May 2024

      King's Festival of Artificial Intelligence 2024 Jeanette Winterson Safra Lecture (2)

      '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

      Events

      24MayRobot woman workplace 780x440

      How To… Use AI in the Workplace

      Session number four of the ‘How To…’ series of the 2023-24 academic year, supporting students and recent graduates to be well-prepared for the workplace and...

      Please note: this event has passed.

      18AprTravel panel

      The academic flyout culture panel

      How do we minimise emissions from air travel while improving diversity and equity in academia and continuing our internal ambitions?

      Please note: this event has passed.

      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.