Skip to main content
KBS_Icon_questionmark link-ico
Professor Luca Viganò
Professor Luca Viganò

Professor Luca Viganò

  • Academics
  • Supervisors

Vice-Dean (Enterprise and Engagement) and Head of Cybersecurity Group

Professor of Computer Science.

Research subject areas

  • Computer science

Contact details

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