Luca Viganò
Board of Directors
SUK
Italy
Biography
Professor in Computer Science Member of the Software Modelling and Applied Logic group
Research Interest
Formal Methods for security Security logics Security testing Labelled deduction for non-classical logics (modal logics, substructural logics, etc.) Combination of logics
