Marco Volpe Dipartimento di Informatica Università di Verona Strada Le Grazie, 15 37134 Verona, Italy E-mail: marco.volpe@univr.it Homepage: http://profs.sci.univr.it/ volpe Curriculum Vitae Current Position Research Associate, Department of Computer Science, University of Verona. Adjunct Professor, Department of Computer Science, University of Verona. Member of REGIS (Research Group in Information Security), University of Verona. Education Ph.D. Computer Science, University of Verona, 2010, May 14th. Dissertation: Labeled Natural Deduction for Temporal Logics. Supervisor: Prof. Luca Viganò. Committee: Carlos Caleiro, Stéphane Demri, Andrea Masini, Angelo Montanari. Laurea in Informatica (Computer Science, MSc degree), University of Rome La Sapienza, 2006, September 27th. Honors: 110/110. Dissertation: Linear Logic and Locative Quantifiers. Supervisor: Prof. Stefano Guerrini. Diploma di Maturità Scientifica, Istituto G. Braschi, Subiaco (Rome), 1999. Honors: 100/100. Academic Experience University of Verona, Department of Computer Science Adjunct Professor, September 2013-Present. Research Associate, April 2012-Present. Instituto Superior Técnico (IST) - Lisbon, Department of Mathematics Postdoctoral Research Associate, March 2011-February 2012. University of Verona, Department of Computer Science Postdoctoral Research Associate, May 2010-February 2011. Ph.D. Student, January 2007-May 2010.
Marco Volpe 2 Research Research Interests Computational Logic Modal and Temporal Logic Proof Theory Many-valued Logics Theory of Computation Information Security Publications Conference and Workshop Papers - Luca Viganò, Marco Volpe and Margherita Zorzi. Quantum State Transformations and Branching Distributed Temporal Logic. Invited contribution to WoLLIC 2014. Valparaiso, Chile. To Appear. - Carlos Caleiro, Luca Viganò and Marco Volpe. A Labeled Deduction System for the Logic UB. In Proceedings of the 20th International Symposium on Temporal Representation and Reasoning, Pensacola, FL, USA, September 26-28, 2013 (TIME 13), pages 45 53. IEEE Computer Society, 2013. - Marco Rocchetto, Luca Viganò, Marco Volpe and Giacomo Dalle Vedove. Using Interpolation for the Verification of Security Protocols. In Rafael Accorsi and Silvio Ranise, editors, Proceedings of the 9th International Workshop on Security and Trust Management (STM 2013), volume 8203 of Lecture Notes in Computer Science, pages 99 114. Springer, 2013. - Marco Volpe, Carlos Caleiro and João Marcos. Classic-Like Cut-Based Tableau Systems for Finite-Valued Logics. In C.-H. Luke Ong and Ruy J. G. B. de Queiroz, editors, Proceedings of 19th International Workshop in Logic, Language, Information and Computation (WoLLIC 2012), volume 7456 of Lecture Notes in Computer Science, pages 189 204. Springer, 2012. - Andrea Masini, Luca Viganò and Marco Volpe. A History of Until. In Thomas Bolander and Torben Braüner, editors, Proceedings of the 6th workshop on Methods for Modalities (M4M-6), volume 262 of Electronic Notes in Theoretical Computer Science, pages 189 204. 2010. - Andrea Masini, Luca Viganò and Marco Volpe. A Labeled Natural Deduction System for a Fragment of CTL*. In Sergei N. Artëmov and Anil Nerode, editors, Proceedings of the 2009 Symposium on Logical Foundations of Computer Science (LFCS 09), volume 5407 of Lecture Notes in Computer Science, pages 338 353. Springer, 2009. - Luca Viganò and Marco Volpe. Labeled Natural Deduction Systems for a Family of Tense Logics. In Stéphane Demri and Christian S. Jensen, editors, Proceedings of the 16th International Symposium on Temporal Representation and Reasoning (TIME-2008), pages 118 126. IEEE Computer Society, 2008. Journal Papers - Carlos Caleiro, João Marcos and Marco Volpe. Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics. Accepted for publication in Theoretical Computer Science. - Carlos Caleiro, Luca Viganò and Marco Volpe. On the Mosaic Method for Many-Dimensional Modal Logics: A Case Study Combining Tense and Modal Operators. Logica Universalis, Vol. 7 (1): 33 69, 2013. - Andrea Masini, Luca Viganò and Marco Volpe. Labelled Natural Deduction for a Bundled Branching Temporal Logic. Journal of Logic and Computation, Vol. 21 (6), pp. 1093 1163, 2011. - Andrea Masini, Luca Viganò and Marco Volpe. Back From the Future. Journal of Applied Non-Classical Logics, Vol. 20 (3), pp. 241 277, 2010.
Marco Volpe 3 Participation to Projects - Participation (with involvement in the preparation of the proposal) to GeTFun: Generalizing Truth-Functionality, Marie Curie project PIRSES-GA-2012-318986 funded by EU-FP7. January 2013-Present. - Participation (with management tasks and involvement in the preparation of the proposal) to SPaCIoS: Secure Provision and Consumption in the Internet of Services, STREP Project no. 257876, FP7-ICT-2009-5. April 2012-January 2014. - Proof theoretical methods for non-classical logics and their applications to information security, Individual Research Project, funded by Fundação para a Ciência e a Tecnologia and developed at Instituto Superior Técnico (IST), Lisbon, Portugal. March 2011-February 2012. - SOFT: Security Oriented Formal Techniques, PRIN Project, 2009-2010. - AVANTSSAR: Automated Validation of Trust and Security of Service-oriented Architectures, STREP Project 216471, FP7 THEME ICT-1-1.4, January 2009-December 2009. Conference and Seminar Talks A Labeled Deduction System for the Logic UB 20th International Symposium on Temporal Representation and Reasoning (TIME 13), Pensacola FL (USA), September 26, 2013. Bivalent Semantics and Tableaux for Many-valued Logics Department of Informatics and Applied Mathematics (DIMAp), Universidade Federal do Rio Grande Do Norte, Natal (Brasil), April 12, 2013. Using Interpolation for the Verification of Security Protocols Department of Informatics and Applied Mathematics (DIMAp), Universidade Federal do Rio Grande Do Norte, Natal (Brasil), April 10, 2013. Labeled Natural Deduction for Peircean Branching Temporal Logics 4th World Congress on Universal Logic, Rio de Janeiro (Brasil), April 5, 2013. The mosaic method for combinations of tense and modalities Department of Mathematics, Instituto Superior Técnico, Lisbon (Portugal), December 9, 2011. Natural (and less natural) deduction systems for classical (and less classical) logics Informal Geometry Seminar, Department of Mathematics, Instituto Superior Técnico, Lisbon (Portugal), November 15, 2011. Labeled Natural Deduction for Temporal Logics Max-Planck-Institut für Informatik, Saarbrücken (Germany), December 15, 2010. A History of Until 6th workshop on Methods for Modalities (M4M-6), Copenhagen (Denmark), November 13, 2009. Labeled Natural Deduction for Temporal Logics Centro De Giorgi, Pisa (Italy), April 10, 2009. A Labeled Natural Deduction System for a Fragment of CTL* Symposium on Logical Foundations of Computer Science (LFCS 09), Deerfield Beach, Florida (U.S.A.), January 5, 2009. Department of Mathematics, Instituto Superior Técnico, Lisbon (Portugal), February 6, 2009. Labeled Natural Deduction Systems for a Family of Tense Logics
Marco Volpe 4 16th International Symposium on Temporal Representation and Reasoning (TIME-2008), Montreal (Canada), June 17, 2008. Conferences and Workshops Attended 20th International Symposium on Temporal Representation and Reasoning (TIME 13), Pensacola FL (USA) September 26-28, 2013. 4th World Congress on Universal Logic, Rio de Janeiro (Brasil), April 3-7, 2013. 6th Workshop on Methods for Modalities (M4M-6), Copenhagen (Denmark), November 12-14, 2009. Symposium on Logical Foundations of Computer Science (LFCS 09), Deerfield Beach FL (USA), January 3-6, 2009. 16th International Symposium on Temporal Representation and Reasoning (TIME-2008), Montreal (Canada), June 16-18, 2008. Schools Attended School of Universal Logic, Rio de Janeiro (Brasil), March 29-April 2, 2013. FIRST Autumn School on Modal Logic, Copenhagen (Denmark), November 10-11, 2009. European Summer School in Logic, Language and Information ESSLLI 2008, University of Hamburg (Germany), August 4-15, 2008. Introduction to Engineering and Formal Methods for Information Security, University of Verona (Italy), September 11-18, 2007. Visits Department of Informatics and Applied Mathematics (DIMAp), Universidade Federal do Rio Grande Do Norte, Natal (Brasil), April 2013. Department of Mathematics, Instituto Superior Técnico, Lisbon (Portugal), January-March 2009. (Visits shorter than one week are omitted.) Teaching Experience Adjunct Professor for the course Software Engineering, Degree in Computer Science and Degree in Bioinformatics, Department of Computer Science, University of Verona, Ongoing. Computer Science, University of Verona, October 2013-January 2014. Computer Science, University of Verona, October 2012-January 2013. Computer Science, University of Verona, October 2010-January 2011. Student Tutor for the course Software Architectures, Department of Computer Science, University of Verona, January 2008-June 2008. Student Tutor for the course Programming Languages II, Department of Computer Science, University La Sapienza, Rome, October 2005-January 2006.
Marco Volpe 5 Student Tutor for the course Programming Languages I, Department of Computer Science, University La Sapienza, Rome, October 2004-January 2005. Advising Academic tutor of the stage: Testing and Maintenance of an Integrated Healthcare System, Nicola Quaglia, Department of Computer Science, University of Verona. Ongoing. Co-advisor of the Master Thesis: Interpolation for Security Protocol Analysis: Design and Implementation, Marco Palamà (Advisor: Prof. Alessandra Di Pierro), Department of Computer Science, University of Verona. March 2014. Co-advisor of the Master Thesis: Interpolation for Security Protocol Analysis: Formal Methodology, Fabio Pettenuzzo (Advisor: Prof. Alessandra Di Pierro), Department of Computer Science, University of Verona. March 2014. Co-advisor of the Master Thesis: From Model Checking to Testing in Security Protocol Analysis, Giacomo Dalle Vedove (Advisor: Prof. Luca Viganò), Department of Computer Science, University of Verona. July 2012. Languages Italian: mother tongue. English: fluent (spoken and written). Portuguese: basic (spoken and written). Verona, May 15, 2014