Show/hide main menu

Academic Staff A-Z

Professor Luca ViganĂ²

Luca-Vigano 

Telephone: +44 020 7848 2078

Email: luca.vigano@kcl.ac.uk

Office: (N)7.18, Bush House, Strand Campus

Research Group: Cybersecurity

About

  • Professor in Computer Science
  • Member of the Cybersecurity group

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

personal website
King's crest

 

Sitemap Site help Terms and conditions  Privacy policy  Accessibility  Modern slavery statement  Contact us

© 2018 King's College London | Strand | London WC2R 2LS | England | United Kingdom | Tel +44 (0)20 7836 5454