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

    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 Hub

    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 Hub

    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 Hub

    The Security Hub consolidates the research related to security

    Robots in the Department of Informatics
    Trusted Autonomous Systems Hub

    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.

    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.

    Interdisciplinary dance performance Feedback Loops highlight of Science in the City Malta festival
    Arts & Creativity Hub

    The Arts & Creativity Hub is composed of researchers interested in applying Informatics research to creative domains such as art, music, games, storytelling and theatre

    News

    King's strengthens partnerships and explores future opportunities in Asia

    Led by Vice-Chancellor & President Professor Shitij Kapur, the King’s delegation visited Singapore, Mainland China and Hong Kong to meet partner universities,...

    The inaugural class of the SUSTech-King's School of Medicine at their enrolment ceremony in Shenzhen.

    DeepTech Roadshow shines spotlight on UK's Deep Tech Industry

    A delegation of US-based Venture Capitalists (VCs) visit Bush House with the Department for Business and Trade.

    Crowd of people posing on rooftop

    Return of five-day Festival of Artificial Intelligence 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)

    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

    '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 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ò

    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

      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 Hub

      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 Hub

      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 Hub

      The Security Hub consolidates the research related to security

      Robots in the Department of Informatics
      Trusted Autonomous Systems Hub

      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.

      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.

      Interdisciplinary dance performance Feedback Loops highlight of Science in the City Malta festival
      Arts & Creativity Hub

      The Arts & Creativity Hub is composed of researchers interested in applying Informatics research to creative domains such as art, music, games, storytelling and theatre

      News

      King's strengthens partnerships and explores future opportunities in Asia

      Led by Vice-Chancellor & President Professor Shitij Kapur, the King’s delegation visited Singapore, Mainland China and Hong Kong to meet partner universities,...

      The inaugural class of the SUSTech-King's School of Medicine at their enrolment ceremony in Shenzhen.

      DeepTech Roadshow shines spotlight on UK's Deep Tech Industry

      A delegation of US-based Venture Capitalists (VCs) visit Bush House with the Department for Business and Trade.

      Crowd of people posing on rooftop

      Return of five-day Festival of Artificial Intelligence 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)

      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

      '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 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ò

      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.