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: S6.32, Strand Building, Strand Campus

Research Group:  Software Modelling and Applied Logic

About

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

internaladd1
personal website

 

Sitemap Site help Terms and conditions Accessibility Recruitment News Centre Contact us

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