1 March 2011 - ? : permanent member of the INRIA Team FOCUS
1 March 2011- ? : researcher in Computer Science at University of Bologna
1 January 2010-28 February 2011: temporary member of the INRIA Team FOCUS
9 December 2009-28 February 2011: tutor for the course of Operating Systems inside the degree in Computer Science for Management at University of Bologna
6 March 2009-28 February 2011: temporary senior research fellow in Computer Science at University of Bologna
11 January 2006-28 February 2009: post-doc in Computer Science at University of Bologna
26 June 2006: discussed the Ph.D. thesis, titled "Synchronization Strategies for Global Computing Models" ( .ppt ), before the external commission
11 April 2006: discussed the Ph.D. thesis, titled "Synchronization Strategies for Global Computing Models" ( .ppt ), before the internal commission
January 2003-June 2006: Ph.D. student in Computer Science at University of Pisa
12 December 2003: taken a minor degree (Diploma di Licenza) at Scuola Normale Superiore of Pisa with full marks (70/70 cum laude)
with a thesis titled "A Graph-based Framework for Fusion Calculus"
(.ppt)
15 May 2002-15 November 2002: contract-holder at University of Pisa
I participated as an invited speaker to the 1st ADAPT Summer School (26 Sep. - 2 Oct, 2010, Koblenz, Germany), giving a tutorial titled "Rule-based Dynamic Adaptation" (slides: .pdf, demo code).
Presentations
1 March 2012, DISI seminar: speaker in a talk titled "Reversibility for Recoverability" ( .ppt )
2-3 February 2012, CoTiCo workshop: speaker in a talk titled "Choreography-driven Design" ( .ppt )
19-20 January 2012, REVER meeting:
speaker in a talk titled "Reversibility and Beyond" ( .ppt )
collaborator in a talk titled "Compensations in Orchestration Languages" ( .pdf )
5-8 December 2011, ICSOC Conference: collaborator in a talk titled "Graceful Interruption of Request-response Service Interactions" ( .pdf )
20 October 2011, IMT Lucca: speaker in a talk titled "Controlling Reversibility in Rhopi" ( .ppt )
5-10 September 2011, CONCUR Conference: collaborator in a talk titled "Controlling Reversibility in Higher-Order Pi" ( .pdf )
6-9 June 2011, COORDINATION Conference: speaker in a talk titled "Fault in the Future" ( .ppt )
19-21 April 2011, Behavioural Types Workshop: collaborator in a talk titled "Choreography Projection and Contract Refinement" ( .ppt )
29 November - 1 December 2010, FMCO Symposium: collaborator in a talk titled "A Component Model for the ABS Language" ( .pdf )
18-20 October 2010, ISoLA Symposium: speaker in a talk titled "Error Handling: from Theory to Practice" ( .ppt )
31 August - 3 September 2010, CONCUR Conference: collaborator in a talk titled "Reversing higher-order Pi" ( .pdf )
5-10 July 2010, ICALP Conference: collaborator in a talk titled "On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi" ( .pdf )
1-4 July 2010, WADT Workshop: collaborator in a
talk titled "On the Semantics of Distributed Compensations with Interruption" ( .pdf )
10 June 2010, ICE Workshop: speaker in a
talk titled "Static vs dynamic SAGAs" ( .ppt )
12 May 2010, HATS meeting: speaker in a talk titled "From services to ABS" ( .ppt )
22-26 March 2010, ESOP Conference: speaker in a
talk titled "On the Expressive Power of Primitives for Compensation Handling" ( .ppt )
24-26 February 2010, TGC Conference: speaker in a
talk titled "A Framework for Rule-based Dynamic Adaptation" ( .ppt ), including a demo
25-27 November 2009, SEFM Conference: speaker in a
talk titled "Programming SAGAs in SOCK" ( .ppt )
23-25 November 2009, Sensoria meeting:
collaborator in a talk titled "Foundational Study and Practical Experimentation of Service Orchestration with SOCK/JOLIE " ( .ppt )
collaborator in a talk titled "Advanced Mechanisms for Service Combination and Transactions" ( .pdf )
collaborator in a talk titled "Behavioural Theory for Session-Oriented Calculi" ( .pdf )
17 June 2009, HATS meeting: speaker in a talk titled "Evolvable systems: some ideas for modelling" ( .ppt )
7-9 June 2009, Sensoria meeting: speaker in a talk titled "On the Expressive Power of Primitives for Compensation Handling" ( .ppt )
24 February 2009, University of Kyoto: speaker in a talk titled
"Error Handling in Service Oriented Computing" ( .ppt )
9-11 February 2009, Sensoria meeting: speaker in a talk titled "Jolie: A Service Oriented Architecture for the Finance Case Study" ( .ppt ), including a demo
18 December 2008, New University of Lisbon: speaker in a talk titled
"Bridging the gap between Interaction- and Process-Oriented Choreographies" ( .ppt )
12-14 November 2008, ECOWS Conference: collaborator in a
talk titled "Dynamic Fault Handling Mechanisms for Service-Oriented Applications" ( .ppt )
10-14 November 2008, SEFM Conference: speaker in a
talk titled "Bridging the Gap between Interaction- and Process-oriented Choreographies" ( .ppt )
3-4 November 2008, TGC Conference: collaborator in a
talk titled "Choreography, Orchestration, and Contracts" ( .ppt )
17-18 September 2008, Sensoria meeting: speaker in a talk titled "The SOCK SAGA" ( .ppt )
24-27 June 2008, ACSD Conference: speaker in a
talk titled "On the Interplay Between Fault Handling and Request-Response Service Invocations" ( .ppt )
25-27 June 2008, LICS Conference: collaborator in a
talk titled "On the Expressiveness and Decidability of Higher-Order Process Calculi" ( .swf )
13-16 June 2008, WADT Conference: collaborator in a
talk titled "Tiles for Reo" ( .ppt )
9-11 June 2008, Sensoria meeting:
speaker in a talk titled "Bridging the Gap between Interaction and Process-Oriented Choreographies" ( .ppt )
collaborator in a talk titled "Towards Trustworthy Multiparty Sessions" ( .pdf )
7 June 2008, PLACES Workshop: collaborator in a
talk titled "Towards Trustworthy Multiparty Sessions" ( .pdf )
4-6 June 2008, COORDINATION Conference: collaborator in a
talk titled "Multiparty Sessions in SOC" ( .pdf )
4-6 June 2008, FMOODS Conference: speaker in a
talk titled "Behavioural Theory at Work: Program Transformations in a Service-centred Calculus" ( .ppt )
11-14 March 2008, Sensoria meeting:
speaker in a talk titled "Behavioural Theory for SSCC" ( .ppt )
collaborator in a talk titled "Muse: Programming Multi-party Sessions for SOC" ( .pdf )
7-8 February 2008, workshop on Web services, business processes and infrastructure: co-speaker in a
talk titled "Sock and Jolie: from the Formal Basis to a Service Oriented Language" ( .ppt (Part 1) and .ppt (Part 2))
4 October 2007, EATCS Italian Chapter Business Meeting: speaker in a talk titled "Synchronization Strategies for Global Computing Models" ( .ppt ) for the "Two best Ph.D. theses in Theoretical Computer Science" award ceremony
10-14 September 2007, SEFM Conference: collaborator in a
talk titled "Disciplining Orchestration and Conversation in Service-Oriented Computing" ( .pdf )
13-15 June 2007, Sensoria meeting:
speaker in a talk titled "Managing Faults and Compensations in SOCK" ( .ppt )
collaborator in a talk titled "Core Calculi for Service-Oriented Computing" ( .pdf )
7-9 March 2007, Sensoria meeting: speaker in a short
talk titled "Types for Deadlock Avoidance in SSCC" ( .ppt )
20-26 January 2007, SOFSEM Conference: speaker in a
talk titled "Concurrent and Located Synchronizations in pi-calculus" ( .ppt )
16-19 January 2007, Sensoria meeting:
speaker in a talk titled "Towards a Unifying Theory for Web Services Composition" (slightly modified w.r.t. ws-fm'06 talk) ( .ppt )
collaborator in a talk titled "$$$: $ervices, $essions and $treams" ( .pdf )
speaker in a talk titled "Streaming Services in SSCC" ( .ppt ) at the pre-meeting on calculi
7-9 November 2006, symposium on Trustworthy Global Computing: speaker in a talk titled "PRISMA: A Mobile Calculus with Parametric Synchronization" ( .ppt )
8-9 September 2006, workshop on Web Services and Formal Methods:
collaborator in an invited talk titled "SCC: a Service Centered Calculus" ( .pdf )
speaker in a talk titled "Towards a Unifying Theory for Web Services Composition" ( .ppt )
26 June 2006: discussed the Ph.D. thesis, titled "Synchronization Strategies for Global Computing Models" ( .ppt ), before the external commission
11 April 2006: discussed the Ph.D. thesis, titled "Synchronization Strategies for Global Computing Models" ( .ppt ), before the internal commission
1-2 April 2006, workshop on Graph Transformation and Visual
Modeling Techniques: speaker in a talk titled "Exploiting User-Definable Synchronizations in Graph Transformation" ( .ppt )
14 March 2006, University of Bologna: speaker in a talk titled
"Synchronization Strategies for Global Computing Models" ( .ppt ) on my Ph.D. work
1-4 November 2005, symposium on Formal Methods for Components and Objects: collaborator in a
talk titled "Synchronized Hyperedge Replacement for Service Oriented Computing" ( .pdf )
6-9 September 2005, SEFM Conference: speaker in a
talk titled "SHReQ: Coordinating Application Level QoS" (paper from Dan Hirsch & Emilio Tuosto) ( .ppt )
3-6 September 2005, CALCO Conference: speaker in a
talk titled "Complete Axioms for Stateless Connectors" ( .ppt )
22 August 2005, workshop on Graph Transformation for Verification and Concurrency: collaborator in a
talk titled "Hoare vs Milner: Comparing Synchronizations in a Graphical Framework with Mobility" ( .ppt )
20-23 April 2005, COORDINATION Conference: speaker in a
talk titled "Synchronized Hyperedge Replacement for Heterogeneous Systems" ( .ppt )
speaker in a talk titled "Mapping Fusion and Synchronized Hyperedge Replacement into Logic Programming" ( .ppt )
26 January 2005: discussed the thesis progress report, titled "Synchronization Strategies for Global Computing Models" ( .ppt )
3-4 September 2004, workshop on Foundations of Global Ubiquitous Computing: speaker in a
talk titled "Synchronization Algebras with Mobility for Graph Transformations" ( .ppt )
23-26 August 2004, IFIP TCS Conference (part of the World Computer Congress event): speaker in a
talk titled "New Insights on Architectural Connectors" (Algebraic approach vs categorical approach to system compositionality) ( .ppt )
8-9 July 2004, Agile Workshop: speaker in a
talk titled "CommUnity, Tiles and Connectors" (slightly modified w.r.t. Dagstuhl talk) ( .ppt )
15-17 December 2003, CoMeta Final Workshop: speaker in a
talk titled "A Graphical Fusion Calculus" ( .ppt )
12 December 2003: taken a minor degree (Diploma di Licenza) at Scuola Normale Superiore of Pisa with full marks (70/70 cum laude)
with a thesis titled "A Graph-based Framework for Fusion Calculus"
(.ppt)
4-5 December 2003, Third Annual Workshop of Agile: speaker in a
talk titled "An Algebra of Connectors for Modeling CommUnity with Tiles" ( .ppt )
28-29 July 2003, Second Annual Workshop of Agile: collaborator in a
talk titled "Modeling Community with Tiles" ( .ppt )
9-14 February 2003, Workshop on Global Computing: collaborator in a
talk titled "Software Architectures, Global Computing and Graph
Transformations"
16-18 October 2002: SBES Conference: coauthor of an invited talk titled "Software Architecture, Global Computing and Graph Transformation via Logic
Programming"
