Dr. Damiano Macedonio   Research Fellow   Dipartimento di Informatica   Università Ca’ Foscari di Venezia

Contents   (last update: October 2009)

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

General Information

Address    Dipartimento di Informatica Università Ca’ Foscari di Venezia Via Torino 155, 30172 Mestre-Venezia, Italy    Phone: +39-041-23.48.478 Fax: +39-041-23.48.419    Email: mace@dsi.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 January 31st, 2006
  I submitted the final version of my PhD Thesis.
• 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
  I am 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.
• 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
  • M.Bugliesi, D. Colazzo, S. Crafa, and D. Macedonio.
    A Type System for Discretionary Access Control.
    Mathematical Structures in Computer Science, 2009. To appear.
    [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
  • G. Bernardi, M. Bugliesi, D. Macedonio, and S. Rossi.
    A Theory of Adaptable Contract-Based Service Composition.
    Proc. of Workshop on Global Computing Models and Technologies (GlobalComp),
    2008. To appear.
    [bibTeX]
  • 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

• 2009/2010
  • Algorithms and Data Structures. 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...
  • Me, at Seven Sisters
  • Luisa, in Cornwall
  • Me and Luisa, in Brighton
  • Me and Luisa (inspired by Ombretta and Marco...)

mace@dsi.unive.it