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