
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

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.

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.

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

Sustainability Hub
The Sustainability Hub consolidates the research related to sustainability

Security (Informatics)
The Security Hub consolidates the research related to security

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

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

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

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

Cyber Security Research Group
CSRG promotes research into cyber security bringing together experts from diverse disciplines.
News
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.

New international partnership exploring 6G
6G partnership between King's and Capgemini

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

King's Global Envoy elected to international body
Professor Luca Viganò elected to UNICA steering committee

NMES and Entrepreneurship
Interview with Vice-Dean Enterprise and Engagement

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

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

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

NMS staff win in King's Teaching Excellence Awards
Two members of staff from the Faculty of Natural & Mathematical Sciences have been recognised in the King's Teaching Excellence Awards. Professor Luca Viganò...

Events

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.

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

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.

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.

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

Sustainability Hub
The Sustainability Hub consolidates the research related to sustainability

Security (Informatics)
The Security Hub consolidates the research related to security

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

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

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

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

Cyber Security Research Group
CSRG promotes research into cyber security bringing together experts from diverse disciplines.
News
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.

New international partnership exploring 6G
6G partnership between King's and Capgemini

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

King's Global Envoy elected to international body
Professor Luca Viganò elected to UNICA steering committee

NMES and Entrepreneurship
Interview with Vice-Dean Enterprise and Engagement

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

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

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

NMS staff win in King's Teaching Excellence Awards
Two members of staff from the Faculty of Natural & Mathematical Sciences have been recognised in the King's Teaching Excellence Awards. Professor Luca Viganò...

Events

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.

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.