Nicola Zannone
Post-doc
Department of Computer ScienceUniversity of Toronto
Department of Computer Science
Bahen Center for Information Technology
University of Toronto
40 St. George Street, Room BA7200
Toronto ON M5S 2E4
e-mail: zannone@cs.toronto.edu
Biographical Sketch
Nicola Zannone received the Laurea degree in Computer Science in 2003 at the University of Verona, and in 2007 he received the Ph.D. in Computer Science at the University of Trento, with a Ph.D. thesis on security requirements engineering, under the supervision of Prof. Fabio Massacci and Prof. John Mylopoulos. He visited Center for Secure Information Systems at George Mason University in 2005. He visited IBM Zurich Research Laboratory in 2006. In 2006-2007, he was young researcher at the Consorzio Interuniversitario Nazionale per l'Informatica. Since September 2007, he has a post-doc position at the Department of Computer Science of the University of Toronto.He received the IBM Ph.D. Fellowship Award for the 2006-07 Academic Year.
You can download the pdf version here (including pubblications).
Research Interests
- Computer Security
- Requirements Engineering
- Formal Methods
Publications
A full list of publications can be found here.Current Projects
- Tropos: an Agent-oriented Software Development Methodology
- S&D Tropos: Security and Dependability Tropos
- MOSTRO: MOdelling Security and Trust Relationships within Organizations
- SENSORIA: Software Engineering for Service-Oriented Overlay Computers
- SERENITY: System Engineering for Security & Dependability
- TOCAI.IT: Tecnologie Orientate alla Conoscienza per Aggregazioni di Imprese in Internet
- Past Projects
Conferences Organization
- Program co-chair, Symposium on Requirements Engineering for Information Security (SREIS 2008), 4-7 March 4 2008, Barcelona , Spain.
- Program committee member, 3rd International Conference on Availability, Reliability and Security (ARES 2008), 4-7 March 4 2008, Barcelona , Spain.
- Program committee member, 3rd Workshop on Quality of Protection (QoP 2007), 29 October 2007, Alexandria, VA, US.
- Program committee member, 2nd International Conference on Availability, Reliability and Security (ARES 2007), 10-13 April 2007, Vienna, Austria.
- Program committee member, 2nd Workshop on Quality of Protection (QoP 2006), 30 October 2006, Alexandria, VA, US.
- Program committee member, 1st International Conference on Availability, Reliability and Security (ARES 2006), 20-22 April 2006, Vienna, Austria.
- Program committee member, Symposium on Requirements Engineering for Information Security (SREIS 2005), 29 August 2005, Paris, France.
Connections...
My Erdös number is 3.
Free counter