Damiano Macedonio's Home Page

  Dr. Damiano Macedonio

  Researcher and Developer
  Julia Srl, spin-off of the University of Verona

  Lecturer
  University of Verona, and University Ca’ Foscari of Venice

Contents (last update: Oct 2014)

General Information
Research
Biographical Sketch
Papers
Teaching [in Italian]
PhD Activity
Personal
Curriculum Vitae [in Italian]

General Information

Address (Verona): Dipartimento di Informatica; Università di Verona; Strada le Grazie 15, 37134 Verona, Italy; Email: damiano.macedonio@univr.it; Office: Ca' Vignal 2, room 1.56

Address (Venezia): Dipartimento di Scienze Ambientali, Informatica e Statistica; Università Ca’ Foscari di Venezia; Via Torino 155, 30172 Mestre-Venezia, Italy; Email: mace@unive.it

Research

Foundational languages for distributed systems
Logics for distributed systems and resources management
Formal methods for the analysis of security properties
Constructive approach to logic and to mathematics
Proof theory

Biographical Sketch

Top

I was born in Padova on March 13th, 1973.
I attended my secondary school at Liceo Scientifico ''I. Nievo'' in Padova.
On March 27th, 2001
I graduated cum laude in Mathematics at Università di Padova.
From November 2001 to November 2005
I was a Ph.D. student in Computer Science at Università Ca' Foscari di Venezia.
From October 2003 to February 2006
I visited the Informatics Department, University of Sussex, Brighton (UK).
- From October 2003 to October 2004
  I was a Marie Curie student funded by the EU project DisCo.
- From November 2004 to May 2005
  I was a research fellow funded by the EU research project MyThS.
On June 1st, 2006
I received my PhD in Computer Science with European Doctor mention.
From June 2006 to May 2007
I was a research fellow founded by the PRIN project 2005
"Fondamenti logici dei sistemi distribuiti e codice mobile",
at the Dipartimento di Informatica, Università Ca' Foscari di Venezia.
From June 2007 to May 2008
I was a research fellow founded by the Research Project
"Sviluppo di metodi formali per la verifica di proprieta' di sicurezza di sistemi software",
at the Dipartimento di Informatica, Università Ca' Foscari di Venezia.
From October 2008 to September 2009
I was a research fellow founded by the Research Project
"Modelli formali per la sicurezza in Service Oriented Computing",
at the Dipartimento di Informatica, Università Ca' Foscari di Venezia.
From May 2011 to December 2012
I was a research fellow founded by the Research Project
"Metodi formali per per lo studio semantico di sistemi wireless",
at the Dipartimento di Informatica, Università di Verona.
From October 2006
I am a lecturer at the Università Ca' Foscari di Venezia.
From September 2010
I am a lecturer at the Università di Verona.
From January 2013
I am a researcher and programmer at Julia srl, a software company established in 2010 as a spin-off of the University of Verona.
Our main goal is the production of tools for formal automatic verification of computer programs and the development of high-quality, formally verified software.
I am also a member of
the Logic Group at the University of Padova,
the Foundations of Computation Group at the Department of Informatics, University of Sussex,
and GULP, the Italian Association for Logic Programming.

Papers

Top

PhD Thesis
- D. Macedonio.
  Logics for Distributed Resources.
  Ph.D. Thesis in Computer Science, TD-2006-2. University Ca' Foscari of Venice.
  Supervisors: Prof. Annalisa Bossi, and Prof. Vladimiro Sassone.
  January 2006.
  [bibTeX]
  
  Awards
  - On September 21st, 2006 the thesis was awarded a mention from the IC-EATCS,
    the Italian Chapter of the European Association for Theoretical Computer Science.
  - On March 9th, 2007 the thesis was awarded one of the two prizes for the best theses
    in computational logic from GULP, the Italian Association for Logic Programming
    affiliated to ALP, the Association for Logic Programming.
Journal Papers
- D. Macedonio and M. Merro.
  A Semantic Analysis of Key Management Protocols for Wireless Sensor Networks.
  Science of Computer Programming, DOI: 10.1016/j.scico.2013.01.005, to appear.
- M.Bugliesi, D. Colazzo, S. Crafa, and D. Macedonio.
  A Type System for Discretionary Access Control.
  Mathematical Structures in Computer Science, 19(4):839-875,2009.
  [bibTeX]
- G. Conforti, D. Macedonio, and V. Sassone.
  Static BiLog: a Unifying Language for Spatial Structures.
  Fundamenta Informaticae, 80(1-3):91-110, 2007.
  [bibTeX]
- R. Chadha, D. Macedonio, and V. Sassone.
  A Hybrid Intuitionistic Logic: Semantics and Decidability.
  Journal of Logic and Computation, 16(1):27-59, 2006.
  [bibTeX]
- A. Bossi, D. Macedonio, C. Piazza, and S. Rossi.
  Information Flow in Secure Contexts.
  Journal of Computer Security, 13(3):391-422, 2005.
  [bibTeX]
- A. Bossi, R. Focardi, D. Macedonio, C. Piazza, and S. Rossi.
  Unwinding in Information Flow Security.
  Proc. of the MEFISTO Project 2003, Formal Methods for Security and Time,
  volume 99 of ENTCS, pages 127-154. Elsevier Sciences, 2004.
  [bibTeX]
Conference Papers
- L.Battisti, D. Macedonio and M. Merro.
  Statistical Model Checking of a Clock Synchronization Protocol for Sensor Networks.
  Proc. of the 5th International Conference on Fundamentals of Software Engineering (FSEN).
  Lecture Notes in Computer Science, volume 8161, pp. 168-182, Springer 2013.
- D. Macedonio and M. Merro.
  A Semantic Analysis of Wireless Network Security Protocols.
  Proc. of the 4th NASA Formal Methods Symposium (NFM).
  D. Macedonio and M. Merro Lecture Notes in Computer Science, volume 7226, pp. 403-417, Springer 2012.
- M. Bugliesi, S. Calzavara and D. Macedonio.
  Secrecy and Authenticity Types for Distributed Messaging.
  Proc. of the Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (ARSPA-WITS).
  Lecture Notes in Computer Science, volume 6186, pp. 23-40, Springer 2011.
- M. Bugliesi, D. Macedonio, L. Pino, and S. Rossi.
  Compliance Preorders for Web Services.
  Proc. of the 6th International Workshop on Web Services and Formal Methods (WS-FM), Revised Selected Papers.
  Volume 6194, pagg. 76-91. 2010.
- D. Macedonio and S. Rossi.
  Information Flow Security for Service Compositions.
  Proc. of the IEEE International Conference on Ultramodern Telecommunications (ICUMT),
  IEEE Computer Society, pagg. 1-8. 2009.
- G. Bernardi, M. Bugliesi, D. Macedonio, and S. Rossi.
  A Theory of Adaptable Contract-Based Service Composition.
  Proc. of the 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC).
  IEEE Computer Society, pagg. 327-334. 2008.
- M. Bugliesi, D. Macedonio, and S. Rossi.
  Static vs Dynamic Typing for Access Control in Pi-Calculus.
  Proc. of the 12th Annual Asian Computing Science Conference Focusing on Computer and Network Security (ASIAN),
  volume 4846 of LNCS, pages 282-296. Springer-Verlag, 2007.
  [bibTeX]
- G. Conforti, D. Macedonio, and V. Sassone.
  Spatial Logics for Bigraphs.
  Proc. of the 32nd International Colloquium on Automata, Languages and Programming (ICALP),
  volume 3580 of LNCS, pages 766-778. Springer-Verlag, 2005.
  [bibTeX]
- G. Conforti, D. Macedonio, and V. Sassone.
  Bigraphical Logics for XML.
  Proc. of the 13th Italian Symposium on Advanced Database Systems (SEBD),
  pages 392-399, 2005.
  [bibTeX]
- A. Bossi, D. Macedonio, C. Piazza, and S. Rossi.
  Information Flow Security and Recursive Systems.
  Proc. of the 8th Italian Conference on Theoretical Computer Science (ICTCS),
  volume 2841 of LNCS, pages 369-382. Springer-Verlag, 2003.
  [bibTeX]
- A. Bossi, D. Macedonio, C. Piazza, and S. Rossi.
  Secure Contexts for Confidential Data.
  Proc. of the 16th IEEE Computer Security Foundations Workshop (CSFW),
  pages 14-28. IEEE Computer Society Press, 2003.
  [bibTeX]
Technical Reports
- R. Chadha, D. Macedonio, and V. Sassone.
  A Hybrid Intuitionistic Logic: Semantics and Decidability (Extended version).
  Computer Science Report, University of Sussex, 2005:07, 2005.
- G. Conforti, D. Macedonio, and V. Sassone.
  BiLog: spatial logics for bigraphs.
  Computer Science Report, University of Sussex, 2005:02, 2005.
- R. Chadha, D. Macedonio, and V. Sassone.
  A distributed Kripke semantics.
  Computer Science Report, University of Sussex, 2004:04, 2005.
- A. Bossi, D. Macedonio, C. Piazza, and S. Rossi.
  Compositional Action Refinement and Information Flow Security.
  Technical Report, Dipartimento di informatica, Università Ca' Foscari di Venezia, CS-2003-13, 2003.
- A. Bossi, D. Macedonio, C. Piazza, and S. Rossi.
  P_BNDC and Replication.
  Technical Report, Dipartimento di informatica, Università Ca' Foscari di Venezia, CS-2003-6, 2003.
- A. Bossi, D. Macedonio, C. Piazza, and S. Rossi.
  Secure Contexts for Information Flow Security.
  Technical Report, Dipartimento di informatica, Università Ca' Foscari di Venezia, CS-2002-18, 2002.
Master Thesis
- D. Macedonio.
  Semantica relazionale per la logica di base.
  M.Sc. Thesis in Mathematics. University of Padua.
  Supervisor: Prof. Giovanni Sambin.
  March 2001.
Drafts
- D. Macedonio, and G. Sambin.
  Relational Semantics for Basic Logic.
  Journal of Symbolic Logic, submitted.
- G. Conforti, D. Macedonio, and V. Sassone.
  BiLog: Spatial Logics for Bigraphs.
  January 2006.
- C. Faggian, D. Macedonio, and G. Sambin.
  Towards Modularity in Proof Theory.
  In preparation.

Teaching

Top

2014/2015
- Una breve Introduzione all'Informatica presentata presso l'Istituto Antoniano dei Padri Rogazionisti di Padova.
- Algoritmi e Strutture Dati, moduli 1 e 2. Per studenti part time. Corso di Laurea in Informatica, Università Ca' Foscari di Venezia. [sito del corso]
2013/2014
- Programmazione, modulo di Programmazione per Bioinformatica. Corso di Laurea in Bioinformatica, Università di Verona. [sito del corso]
- Programmazione I, modulo di laboratorio. Corso di Laurea in Informatica, Università di Verona. [sito del corso]
2012/2013
- Algoritmi e Strutture Dati, moduli 1 e 2. Per studenti part time. Corso di Laurea in Informatica, Università Ca' Foscari di Venezia. [sito del corso]
2011/2012
- Algoritmi e Strutture Dati, parti I e II. Per studenti part time. Corso di Laurea in Informatica, Università Ca' Foscari di Venezia. [sito del corso]
- Algoritmi e Strutture Dati, parte III. Corso di Laurea in Informatica, Università Ca' Foscari di Venezia.
2010/2011
- Logica. Corso di Laurea Magistrale Corso di Laurea Magistrale in Ingegneria e Scienze Informatiche, Università di Verona. [sito del corso]
- Informatica. Corso di Laurea in Biotecnologie, Università di Verona. [sito del corso]
- Algoritmi e Strutture Dati, parti I e II. Per studenti part time. Corso di Laurea in Informatica, Università Ca' Foscari di Venezia. [sito del corso]
- Algoritmi e Strutture Dati, parte I. Corso di Laurea in Informatica, Università Ca' Foscari di Venezia. [sito del corso]
- Algoritmi e Strutture Dati, parte III. Corso di Laurea in Informatica, Università Ca' Foscari di Venezia. [sito del corso]
- Abilità Informatiche. Corsi di Laurea in Lingue e Civiltà Moderne e Contemporanee (LCMC), Lingue e Culture del Mediterraneo e del Medio Oriente (MEDOR), Lingue e Scienze del Linguaggio (LSL) e Lingue, Culture e Società dell'Asia Orientale (LICSAO). Università Ca' Foscari di Venezia. [sito del corso]
- Introduzione alla Programmazione a Oggetti con Java. Corso IFTS. [course site]
2009/2010
- Algorithms and Data Structures, parts I and II. Computer Science Degree, Università Ca' Foscari di Venezia. [course site]
- Algorithms and Data Structures, part III. Computer Science Degree, Università Ca' Foscari di Venezia. [course site]
2008/2009
- Algorithms Planning and Analysis. Computer Science Degree, Università Ca' Foscari di Venezia. [course site]
2007/2008
- Mathematical Logic. Computer Science Degree, Università Ca' Foscari di Venezia. [course site]
2006/2007
- Algorithms Planning and Analysis. Computer Science Degree, Università Ca' Foscari di Venezia. [course site]
2005/2006
- Logic. Computer Science Degree, Università di Padova.

PhD Activity

Top

Passed Exams
- A journey through research challenges for next generation wireless systems.
  Ian F. Akyildiz, Georgia Institute of Technology (USA).
- Security for Ubiquitous Computing.
  Frank Stajano, University of Cambridge (UK).
- Models and Calculi for Mobility.
  Davide Sangiorgi, Università di Bologna (Italy).
- Excursion To Two New Frontiers In Computer Security Research.
  Fred B. Schneider, Cornell University (USA).
- An Introduction to Logical and Physical Mobility.
  Gian Pietro Picco, Politecnico di Milano (Italy).
- Software Development for Mobile Environments.
  Amy Murphy, University of Rochester (USA).
- Ad Hoc Wireless Networks: Protocols and Applications.
  Mario Gerla, UCLA (USA).
- Certified Code for Mobile Computing.
  Peter Lee, Carnegie Mellon University (USA).
- Simulation.
  Lorenzo Donatiello, University of Bologna (Italy), and Simonetta Balsamo, University of Venice (Italy).
- Fault-Tolerance in Distributed Applications.
  Danny Dolev, The Hebrew University of Jerusalem (Israel).
- Concurrency, Types and Categories.
  Ugo Montanari, University of Pisa (Italy).
- Access Control Models.
  Elisa Bertino, University of Milan (Italy).
- Verification, Model Checking, and Abstract Interpretation.
  Agostino Cortesi, University of Venice (Italy).
Schools
- ASMC 2003.
  Advanced school on Mobile Computing (for 20 selected participants),
  1-27 September 2003. Scuola Normale Superiore di Pisa, Italy.
- FOSAD 2002.
  3rd International School on Foundations of Security Analysis and Design,
  23-27 September 2002. Bertinoro (Forlì), Italy.
- BISS 2002.
  Bertinoro International Summer School for Graduate Studies in Computer Science,
  20-31 May 2002. Bertinoro (Forlì), Italy.
Documents
- [November, 2005] Fourth year: Thesis report.
- [November, 2004] Third year: Thesis report.
- [November, 2003] Second year: Thesis report.
- [November, 2003] Second year: activity report.
- [November, 2002] PhD Thesis proposal.
- [November, 2002] First year: activity report (in Italian).
- [November, 2001] Introduction and proposed list of PhD courses (in Italian).

Personal

Top

Some pictures...

damiano.macedonio@univr.it