![Luca Viganò](/ImportedImages/Schools/NMS/NMS-Headshots/Luca-Vigano-web.x6a101fea.jpg?w=161&h=161&crop=160,160,1,0&f=webp)
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](/ImportedImages/Kingsworldwide/NAS/cyberculture.xece332c4.jpg?w=780&h=519&crop=780,440,0,40&width=380&height=215&fit=crop&f=webp)
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](/newimages/nmes/feature-images-800x430/FEATURE-Finance.x6c71ff92.jpg?w=819&h=440&crop=780,440,12,0&width=380&height=215&fit=crop&f=webp)
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](/image-library/Press-Photos/hospital-news.x64f23f05.jpg?width=380&height=215&fit=crop&f=webp)
Health (Informatics)
The Health Hub centres on computational characterisation of medically relevant study cases and data.
![sustainable ai_st_1428308240 copy](/newimages/nmes/main-article-780X450/sustainable-ai-st-1428308240-copy.x0d27043d.jpeg?w=780&h=520&crop=780,440,0,40&width=380&height=215&fit=crop&f=webp)
Sustainability Hub
The Sustainability Hub consolidates the research related to sustainability
![THUMB PAGE Security Cameras](/newimages/nmes/thumbnail-pages-368x208/thumb-page-security-cameras.x73b54fdb.jpg?w=780&h=441&crop=780,440,0,1&width=380&height=215&fit=crop&f=webp)
Security (Informatics)
The Security Hub consolidates the research related to security
![Robots in the Department of Informatics](/ImportedImages/Schools/NMS/News-Stories-images/Robots-in-the-Department-of-Informatics.xa27502de.jpg?w=780&h=518&crop=780,440,0,39&width=380&height=215&fit=crop&f=webp)
Trusted Autonomous Systems (Informatics)
The Trusted Autonomous Systems Hub develops the trustable autonomous systems of tomorrow.
![Security](/ImportedImages/Schools/NMS/informatics/research/Security.x259873cc.jpg?w=780&h=520&crop=780,440,0,52&width=380&height=215&fit=crop&f=webp)
Cybersecurity
The group studies design, modelling, analysis, verification and testing of networks and systems.
![Digital-Forensics-hero](/newimages/research/hero/digital-forensics-hero1.xb4af62bf.png?w=1336&h=440&crop=780,440,278,0&width=380&height=215&fit=crop&f=webp)
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](/newimages/research/thumb/emma-fabbri-e3yxpcokhhu-unsplash.x3e2e4667.jpg?w=780&h=1040&crop=780,440,0,397&width=380&height=215&fit=crop&f=webp)
Centre for Italian Politics @EIS
The Centre for Italian Politics at the Department of European and International Studies
![it-security-cyber](/newimages/hero/it-security-cyber.x80668c64.jpg?w=1500&h=440&crop=780,440,360,0&width=380&height=215&fit=crop&f=webp)
Cyber Security Research Group
CSRG promotes research into cyber security bringing together experts from diverse disciplines.
News
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](/departmentalimages/ksei/news-events-images/deeptech-roadshow-delegation.x8b1ae7f6.png?f=webp)
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)](/newimages/ai/news/kings-festival-of-artificial-intelligence-2024-jeanette-winterson-safra-lecture-2.x9e45f2f4.jpg?f=webp)
'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](/newimages/ai/events/ai-festival-ai-panel-auditorium-2.x14937e7a.jpg?f=webp)
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](/newimages/folsm/hero-banner/bmeis/new-scientist-live-2023-event-thumbnail.x5f175224.png?f=webp)
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](/newimages/main/nev-strand-campus.x1e2794c5.jpg?crop=780,440,0,6&f=webp)
New international partnership exploring 6G
6G partnership between King's and Capgemini
![Toktam Mahmoodi](/newimages/nmes/main-article-780X450/toktam-mahmoodi.xf56c0aee.png?crop=780,440,0,5&f=webp)
New Visiting Professors
New Visiting Professors join Faculty of Natural, Mathematical & Engineering Sciences
![Bush House](/image-library/Press-Photos/Bush-House-780440.xfd2f34bc.jpg?f=webp)
King's Global Envoy elected to international body
Professor Luca Viganò elected to UNICA steering committee
![Luca Viganò](/ImportedImages/Cultural/NewsHubImages/Luca-Vigano-Cultural-Community-Spotlight-Chess.xadd54494.jpg?w=780&h=515&crop=780,440,0,38&f=webp)
NMES and Entrepreneurship
Interview with Vice-Dean Enterprise and Engagement
![Luca Viganò](/ImportedImages/Cultural/NewsHubImages/Luca-Vigano-Cultural-Community-Spotlight-Chess.xadd54494.jpg?w=780&h=515&crop=780,440,0,38&f=webp)
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](/ImportedImages/Aboutsection/globes.x77ded0b6.jpg?w=780&h=499&crop=780,440,0,30&f=webp)
Events
![Robot woman workplace 780x440](/newimages/ai/events/robot-woman-workplace-780x440.xa077a40d.jpg?f=webp)
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.
![Travel panel](/newimages/sustainabilty/travel-panel.xf894006e.png?f=webp)
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.
![The First 780x440](/newimages/ai/news/the-first-780x440.x0b3d4d4f.jpg?f=webp)
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 tale tapestry fox deer horse](/newimages/ai/events/fairy-tale-tapestry-fox-deer-horse.x6063c3e9.jpg?w=880&h=440&crop=780,440,50,0&f=webp)
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](/ImportedImages/Kingsworldwide/NAS/cyberculture.xece332c4.jpg?w=780&h=519&crop=780,440,0,40&width=380&height=215&fit=crop&f=webp)
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](/newimages/nmes/feature-images-800x430/FEATURE-Finance.x6c71ff92.jpg?w=819&h=440&crop=780,440,12,0&width=380&height=215&fit=crop&f=webp)
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](/image-library/Press-Photos/hospital-news.x64f23f05.jpg?width=380&height=215&fit=crop&f=webp)
Health (Informatics)
The Health Hub centres on computational characterisation of medically relevant study cases and data.
![sustainable ai_st_1428308240 copy](/newimages/nmes/main-article-780X450/sustainable-ai-st-1428308240-copy.x0d27043d.jpeg?w=780&h=520&crop=780,440,0,40&width=380&height=215&fit=crop&f=webp)
Sustainability Hub
The Sustainability Hub consolidates the research related to sustainability
![THUMB PAGE Security Cameras](/newimages/nmes/thumbnail-pages-368x208/thumb-page-security-cameras.x73b54fdb.jpg?w=780&h=441&crop=780,440,0,1&width=380&height=215&fit=crop&f=webp)
Security (Informatics)
The Security Hub consolidates the research related to security
![Robots in the Department of Informatics](/ImportedImages/Schools/NMS/News-Stories-images/Robots-in-the-Department-of-Informatics.xa27502de.jpg?w=780&h=518&crop=780,440,0,39&width=380&height=215&fit=crop&f=webp)
Trusted Autonomous Systems (Informatics)
The Trusted Autonomous Systems Hub develops the trustable autonomous systems of tomorrow.
![Security](/ImportedImages/Schools/NMS/informatics/research/Security.x259873cc.jpg?w=780&h=520&crop=780,440,0,52&width=380&height=215&fit=crop&f=webp)
Cybersecurity
The group studies design, modelling, analysis, verification and testing of networks and systems.
![Digital-Forensics-hero](/newimages/research/hero/digital-forensics-hero1.xb4af62bf.png?w=1336&h=440&crop=780,440,278,0&width=380&height=215&fit=crop&f=webp)
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](/newimages/research/thumb/emma-fabbri-e3yxpcokhhu-unsplash.x3e2e4667.jpg?w=780&h=1040&crop=780,440,0,397&width=380&height=215&fit=crop&f=webp)
Centre for Italian Politics @EIS
The Centre for Italian Politics at the Department of European and International Studies
![it-security-cyber](/newimages/hero/it-security-cyber.x80668c64.jpg?w=1500&h=440&crop=780,440,360,0&width=380&height=215&fit=crop&f=webp)
Cyber Security Research Group
CSRG promotes research into cyber security bringing together experts from diverse disciplines.
News
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](/departmentalimages/ksei/news-events-images/deeptech-roadshow-delegation.x8b1ae7f6.png?f=webp)
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)](/newimages/ai/news/kings-festival-of-artificial-intelligence-2024-jeanette-winterson-safra-lecture-2.x9e45f2f4.jpg?f=webp)
'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](/newimages/ai/events/ai-festival-ai-panel-auditorium-2.x14937e7a.jpg?f=webp)
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](/newimages/folsm/hero-banner/bmeis/new-scientist-live-2023-event-thumbnail.x5f175224.png?f=webp)
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](/newimages/main/nev-strand-campus.x1e2794c5.jpg?crop=780,440,0,6&f=webp)
New international partnership exploring 6G
6G partnership between King's and Capgemini
![Toktam Mahmoodi](/newimages/nmes/main-article-780X450/toktam-mahmoodi.xf56c0aee.png?crop=780,440,0,5&f=webp)
New Visiting Professors
New Visiting Professors join Faculty of Natural, Mathematical & Engineering Sciences
![Bush House](/image-library/Press-Photos/Bush-House-780440.xfd2f34bc.jpg?f=webp)
King's Global Envoy elected to international body
Professor Luca Viganò elected to UNICA steering committee
![Luca Viganò](/ImportedImages/Cultural/NewsHubImages/Luca-Vigano-Cultural-Community-Spotlight-Chess.xadd54494.jpg?w=780&h=515&crop=780,440,0,38&f=webp)
NMES and Entrepreneurship
Interview with Vice-Dean Enterprise and Engagement
![Luca Viganò](/ImportedImages/Cultural/NewsHubImages/Luca-Vigano-Cultural-Community-Spotlight-Chess.xadd54494.jpg?w=780&h=515&crop=780,440,0,38&f=webp)
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](/ImportedImages/Aboutsection/globes.x77ded0b6.jpg?w=780&h=499&crop=780,440,0,30&f=webp)
Events
![Robot woman workplace 780x440](/newimages/ai/events/robot-woman-workplace-780x440.xa077a40d.jpg?f=webp)
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.
![Travel panel](/newimages/sustainabilty/travel-panel.xf894006e.png?f=webp)
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.
![The First 780x440](/newimages/ai/news/the-first-780x440.x0b3d4d4f.jpg?f=webp)
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 tale tapestry fox deer horse](/newimages/ai/events/fairy-tale-tapestry-fox-deer-horse.x6063c3e9.jpg?w=880&h=440&crop=780,440,50,0&f=webp)
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.