Loading…
Welcome to the full schedule of the OWASP AppSec Research EU 2013 conference days. You’ll find the schedule for the training days at http://trainings2013.appsec.eu
avatar for Luca Viganò

Luca Viganò

Prof. Dr. Luca Viganò received his Ph.D. in Computer Science from the University of Saarbruecken, Germany, in 1997, and his Habilitation in Computer Science from the University of Freiburg, Germany, in 2003. He held a senior research scientist position at ETH Zurich, Switzerland, from January 2003 to October 2006. Since October 2006, he is an Associate Professor of Computer Science at the University of Verona, where he is the head of the Research Group in Information Security (regis.scienze.univr.it). His research focuses on formal methods and tools for the specification, verification, and construction of secure systems, and on the theory and applications of non-classical and security logics. He has participated in the administration and research activity of a number of national and international projects on information security. In particular, he was the coordinator of the FP7 project AVANTSSAR and currently is the coordinator of the FP7 project SPaCIoS.