Curriculum Vitae of Catuscia Palamidessi

Personal data

Scientific interests

Studies

• Ph.D. in Computer Science. Università di Pisa, Italy, Oct. 7, 1988. Thesis advisor: Prof. Giorgio Levi.
• Laurea in Computer Science. Università di Pisa, Italy, Dec. 10, 1982.

Academic positions

• (From Jan. 2011) Director of Research DR1 at INRIA. INRIA Saclay, Orsay, France.
• (Sept. 2002 - Dec. 2010) Director of Research DR2 at INRIA. INRIA Saclay, Orsay, France.
• (Jan. 1998 - Aug. 2002) Full Professor in Computer Science and Engineering, Dept. of Computer Science and Engineering, PSU, USA.
• (Nov. 1994 - Dec. 1997) Full Professor in Computer Science, Dept. of Computer Science, Università di Genova, Italy.
• (Nov. 1992 - Oct. 1994) Associate Prof. in in Computer Science, Dept. of Computer Science, Università di Genova, Italy.
• (May 1988 - Oct. 1992) Assistant Prof. in in Computer Science, Dept. of Computer Science, Università di Pisa, Italy.

Visiting positions

• (Aug. 1990 - Nov. 1991) Research Scientist, CWI, Amsterdam, The Netherlands.
• (Nov. 1990 - Nov. 1991) Postdoc Fellowship, Dept. of Computer Science, University of Utrecht, The Netherlands.
• (Nov. 1989 - Dec. 1989) Visiting Scientist, SICS, Stockholm, Sweden
• (June 1989 - July 1989) Visiting Scientist, CWI, Amsterdam, The Netherlands.
• (Mar. 1988 - Aug. 1988) Visiting Scientist, CWI, Amsterdam, The Netherlands.

Professional activity

Chair of international conferences

• PC co-chair of TGC 2012. 7th International Symposium on Trustworthy Global Computing. Newcastle, UK, 7-8 September 2012.
• PC co-chair of QEST 2011. 8th International Conference on Quantitative Evaluation of SysTems. Aachen, Germany, August 2011.
• PC co-chair of TOSCA 2011. Theory of Security and Applications. Saarbrücken, Germany, March 2011.
• PC chair of MFPS XXV. 25th Int.l Conference on Mathematical Foundations of Programming Semantics. Oxford, UK, April 2009.
• PC co-chair of SOFSEM'09. 35th International Conference on Current Trends in Theory and Practice of Computer Science. Špindleruv Mlýn, Czech Republic. January 2009.
• PC chair of ICALP 2005 Track B. 32nd International Colloquium on Automata, Languages and Programming. Lisboa, Portugal, July 2005.
• PC chair of ICLP 2003. Ninetheen International Conference on Logic Programming. Mumbai, India, 9-13 December 2003.
• PC chair and Conference co-chair of CONCUR 2000. International Conference on Concurrency Theory. State College, 22-25 August, 2000.
• PC chair of the CL 2000 stream on Theory and Extensions of Logic Programming. London, 24-28 July 2000.
• PC chair of the Joint Int.l PLILP/ALP'98 Symposium. Pisa, 14-18 September 1998.

Organization of workshops, schools, and other events

• Co-organizer of the Dagstuhl seminar on Quantitative Security Analysis. Dagstuhl, Germany, 25-30 November 2012.
• Chair of the track on Security of TFIT 2008. Fourth Taiwanese-French Conference on Information Technology. Taipei, Taiwan. March 2008.
• Co-organizer of the SecCo'07, the 5th International Workshop on Security Issues in Concurrency. Lisbon, Portugal, September 2007.
• Co-organizer of the LIX Colloquium on Emerging Trends in Concurrency Theory. Palaiseau, France, November 2006.
• Co-organizer of the Seminar of the Working Group in Concurrency. PPS, Paris VII. 2003-2004.
  
• Coordinator of the workshops committee of LICS 2000, Santa Barbara, California, June 2000.
• Co-organizer (with Ilaria Castellani) of EXPRESS'98, Nice, France, September 1998.
• Scientific organizer of the IC-EATCS 1997 Advanced School on Models and paradigms for Concurrency. CISM, Udine, Italy, September 1997.
• Co-organizer (with Joachim Parrow) of EXPRESS'97, Santa Margherita Ligure, Italy, September 1997.
• Coordinator for the post-conference workshops of the ICLP'94, Santa Margherita Ligure, Italy, June 1994.
• Organiser of the Workshop on Concurrent Logic Programming (in the context of ICLP'91), July 1991.
• Co-organiser (with Jan Rutten) of the Workshop on Semantics of Functional, Logic and Object-Oriented Languages. (In the context of the ESPRIT BRA Project 3020 "Integration".) Molina di Quosa, Italy, Dec. 1989.

Executive and Steering Committees

• (2010-) Member of the IFIP Working Group 1.7 -- Theoretical Foundations of Security Analysis and Design.
• (2005-) Member of the Steering Committee of ETAPS, the European Joint Conferences on Theory and Practice of Software.
• (2007-) Member of the IFIP Technical Committee 1. Foundations of Computer Science.
• (2005-) Member of the Council of EATCS, the European Association for Theoretical Computer Science.
• (2002-03) Member of the scientific committee for the Summer School on the Foundation of Security. Eugene, USA, June 2003.
• (2001-) Member of the IFIP Working Group 2.2 -- Formal Description of Programming Concepts.
• (2000-02) Member of the Steering Committee of FLoC'02, the 2002 Federated Logic Conference.
• (1999-02) Member of the Executive Committee of ALP, the Association of Logic Programming.
• (1998-01) Member of the Executive Board of EAPLS, the European Assoc. for Programming Languages and Systems.
• (1997-) Member of the Steering Committee of EXPRESS, the international workshop on Expressiveness in Concurrency.
• (1997-06) Member of the Steering Committee of the ACM SIGPLAN PPDP (Principles and Practice of Declarative Programming), formerly PLILP/ALP.
• (1997-2000) Member of the Executive Committee of GULP, the Italian Association of Logic Programming.

Editorial boards

• (2006-) Member of the Editorial Board of Mathematical Structures in Computer Science, Cambridge University Press.
• (2004-11) Member of the Editorial Board of the journal on Theory and Practice of Logic Programming, Cambridge University Press.
• (2000-04) Member of the Advisory Board of the journal on Theory and Practice of Logic Programming, Cambridge University Press.
• (2000-) Member of the Editorial Board of the Electronic Notes of Theoretical Computer Science, Elsevier Science.
• (1998-2000) Member of the Advisory Board of the Journal of Logic Programming. Elsevier Science (North-Holland).
• (1995-) Member of the Editorial Board of the Journal of Functional and Logic Programming. Published electronically. Formerly published by The MIT Press.

Other editorial activity

• Co-editor (with Frank Pfenning) of the special issue of Logical Methods in Computer Science dedicated to selected papers of FoSSaCS 2013.
• Co-editor (with Mark Ryan) of the proceedings of TGC 2012, Trustworthy Global Computing.
• Co-editor (with Sebastian Mödersheim and Konstantinos Chatzikokolakis) of the special issue of the Journal of Computer Security dedicated to selected papers of TOSCA 2011 and SecCo 2011.
• Co-editor (with Geoffrey Smith) of the special issue of Mathematical Structures in Computer Science dedicated to Quantitative Information Flow.
• Co-editor (with Samson Abramsky and Michael Mislove) of the special issue dedicated to selected papers of MFPS XXV. TCS 430, Pages 1-126, 2012.
• Co-editor (with Alma Riska) of the proceedings of QEST 2011. Pages 1-276. IEEE Computer Society Press, 2011.
• Co-editor (with Sebastian Mödersheim) of the proceedings of TOSCA 2011. LNCS 6993 Springer, Pages 1-225, 2011.
• Co-editor (with Daniele Gorla) of the special issue dedicated to selected papers of SecCo 2007. JCS 18(2), Pages 187-377, 2010.
• Co-editor (with Moreno Falaschi and Maurizio Gabbrielli) of the book Abstract Interpretation and Logic Programming: Festschrift in honor of professor Giorgio Levi. TCS 410 (46). Elsevier B.V., pages 4601-4800, 2009.
• Co-editor (with Samson Abramsky and Michael Mislove) of the proceedings of MFPS XXV. ENTCS 249, Pages 1-490, 2009.
• Co-editor of the proceedings of SOFSEM'09. LNCS 5404 Springer, Pages 1-670, 2009.
• Co-editor (with Frank D. Valencia) of the proceedings of the LIX Colloquium on Emerging Trends in Concurrency Theory (LIX 2006), ENTCS 209 Pages 1-200, 2008.
• Co-editor (with Giuseppe Italiano) of the special issue dedicated to selected papers of ICALP 2005. TCS 380(1-2), Pages 1-218, 2007.
• Co-editor (with Daniele Gorla) of the proceedings of the 5th International Workshop on Security Issues in Concurrency (SecCo 2007), ENTCS 194 (1) Pages 1-84, 2007.
• Co-editor of the proceedings of ICALP 2005, LNCS 3580, Springer-Verlag. 2005.
• Editor of the proceedings of ICLP 2003, LNCS 2916, Springer-Verlag. 2003.
• Editor of the special issue dedicated to selected papers of the IC-EATCS Advanced School on Models and paradigms for Concurrency. TCS 253(2). Elsevier Science. 2001.
• (2001-04) Area editor (for the area of Concurrency) of the ALP Newsletter. Published electronically.
• Co-editor (with Joachim Parrow) of the special issue dedicated to selected papers of EXPRESS'97. Info. and Comp. 156(1-2). Academic Press. 2000.
• Editor of the proceedings of CONCUR 2000, LNCS 1877, Springer-Verlag. 2000.
• Co-editor of the proceedings of CL 2000, LNAI 1861, Springer-Verlag. 2000.
• Editor of the Special Issue of the JFLP dedicated to selected papers of PLILP/ALP'98. Volume 1999.
• Co-editor (with Hugh Glaser and Karl Meinke) of the proceedings of PLILP/ALP'98, LNCS 1490, Springer-Verlag. 1998.
• Co-editor (with Ilaria Castellani) of the proceedings of EXPRESS'98, Volume 16(2) of ENTCS , Elsevier Science. 1998.
• Co-editor (with Joachim Parrow) of the proceedings of EXPRESS'97, Volume 7 of ENTCS , Elsevier Science. 1997.
• Member of the Editorial Committee for the special issues of Computer Languages dedicated to the ICLP'94 Post-conference Workshops.

Program committee member for international conferences

• TGC 2013. 8th International Symposium on Trustworthy Global Computing. Buenos Aires, Argentina, 30-31 August 2013.
• ICALP 2013. Track B. 40th International Colloquium on Automata, Languages and Programming. Riga, Latvia, 8-12 July 2013.
• CSF 2013. 26th IEEE Computer Security Foundations Symposium. Tulane University, New Orleans, Louisiana, USA, 26-28 June 2013.
• LICS 2013. 28th Annual ACM/IEEE Symposium on Logic in Computer Science. Tulane University, New Orleans, Louisiana, USA, 25-28 June 2013.
• FOSSACS 2013. The 16th Int.l Conf. on Foundations of Software Science and Computation Structures. (Part of ETAPS 2013.) Rome, Italy, March 2013.
• SOFSEM 2013. 39th International Conference on Current Trends in Theory and Practice of Computer Science. Špindleruv Mlýn, Czech Republic. January 2013.
• CARDIS 2012. The 11th Smart Card Research and Advanced Application Conference. Graz, Austria, 28-30 November 2012.
• QEST 2012. The International Conference on Quantitative Evaluation of SysTems. London, UK, September 2012.
• PPDP 2012. The International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming. Leuven, Belgium, September 2012.
• CONCUR 2012. The 21st International Conference on Concurrency Theory. Newcastle, UK, September 2012.
• CSF 2012. The 25th IEEE Computer Security Foundations Symposium. Cambridge MA, USA, June 2012.
• POST 2012. The First Conference on Principles of Security and Trust. Tallin, Estonia, March 2012.
• CALCO 2011. The 4th International Conference on Algebra and Coalgebra in Computer Science. Winchester, UK, August 2011.
• CSF 2011. The 24th IEEE Computer Security Foundations Symposium. Domaine de l'Abbaye des Vaux de Cernay, France, June 2011.
• MFPS XXVII. 27th Int.l Conference on Mathematical Foundations of Programming Semantics. CMU, Pittsburgh, USA, May 2011.
• CONCUR 2010. 21st International Conference on Concurrency Theory. Paris, France, August 2010.
• MFPS XXVI. 26th Int.l Conference on Mathematical Foundations of Programming Semantics. Ottawa, Canada, May 2010.
• CONCUR 2009. 20th International Conference on Concurrency Theory. Bologna, Italy, September 2009.
• FOSSACS 2009. 12th Int.l Conf. on Foundations of Software Science and Computation Structures. (Part of ETAPS 2009.) York, UK, March 2009.
• QEST'08. International Conference on Quantitative Evaluation of SysTems. St Malo, France, September 2008.
• CONCUR 08. 19th International Conference on Concurrency Theory. Toronto, Canada. August 2008.
• LICS 2008. 23rd Symposium on Logic in Computer Science. Pittsburgh, USA. June 2008.
• MFPS XXIV. Twenty-fourth Conference on Mathematical Foundations of Programming Semantics. Philadelphia, USA. May 2008.
• CiE 2008. Logic and Theory of Algorithms. Athens, Greece. June 2008.
• ESOP 2008. European Symposium on Programming (Part of ETAPS 2008). Budapest, Hungary, March-April 2008.
• VMCAI 2008. 9th International Conference on Verification, Model Checking, and Abstract Interpretation. San Francisco, USA. January 2008.
• QEST'07. International Conference on Quantitative Evaluation of SysTems. Edinburgh, Scotland, September 2007.
• CONCUR 2007. International Conference on Concurrency Theory. Lisbon, Portugal, September 2007.
• FCT 2007. International Symposium on Fundamentals of Computation Theory. Budapest, Hungary, August 2007.
• ESOP 2007. European Symposium on Programming. (Part of ETAPS 2007.) Braga, Portugal, March-April 2007.
• LPAR 2006. International Conference on Logic for Programming Artificial Intelligence and Reasoning. Phnom Penh, Cambodia, November 2006.
• CONCUR 2006. International Conference on Concurrency Theory. Bonn, Germany, August 2006.
• MFPS XXII. Twenty-second Conference on the Mathematical Foundations of Programming Semantics. Genova, Italy, May 2006.
• FOSSACS 2006. Int.l Conf. on Foundations of Software Science and Computation Structures. (Part of ETAPS 2006.) Vienna, Austria, March-April 2006.
• LPAR 2005. International Conference on Logic for Programming Artificial Intelligence and Reasoning. Montego Bay, Jamaica, December 2005.
• ICLP 2005. International Conference on Logic Programming. Barcelona, Spain, October 2005.
• CONCUR 2005. International Conference on Concurrency Theory. San Francisco, California, USA, August 2005.
• ESOP'05. European Symposium on Programming. (Part of ETAPS 2005.) Edinburgh, Scotland, April 2005.
• SOFSEM 2005 Track on Foundations of Computer Science. 31st Annual Conference on Current Trends in Theory and Practice of Informatics, Liptovsky Jan, Slovak Republic, January 2005.
• CONCUR 2004. International Conference on Concurrency Theory. London, UK, August 2004.
• TCS 2004. Track 2. 3rd IFIP International Conference on Theoretical Computer Science. Toulouse, France, August 2004.
• ICALP 2004 Track B. 31st International Colloquium on Automata, Languages and Programming. Turku, Finland, July 2004.
• ESOP 2003. European Symposium On Programming. (Part of ETAPS 2003.) Warsaw, Poland, April 2003.
• POPL 2003. ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. New Orleans, Louisiana, January 2003.
• CONCUR 2002. International Conference on Concurrency Theory. Brno, Czech Republic, August 2002.
• ICLP 2001. International Conference on Logic Programming. Paphos, Cyprus, November 2001.
• TACS 2001. Theoretical Aspects of Computer Software. Sendai, Japan, October 2001.
• PPDP 2001. ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming. Florence, September 2001.
• CSL 2001. Computer Science Logic. Paris, September 2001.
• CONCUR 2001. International Conference on Concurrency Theory. Aalborg, Denmark, August, 2001.
• ICALP 2001 Track B. International Colloquium on Automata, Languages and Programming. Crete, July 2001.
• ESOP 2001. European Symposium On Programming. (Part of ETAPS 2001.) Genova, Italy, April 2001.
• ICFP 2000. ACM SIGPLAN International Conference on Functional Programming. Montreal, September 2000.
• ICALP 2000 Track B. International Colloquium on Automata, Languages and Programming. Geneva, July 2000.
• CSL'99. Int.l Annual Conf. on Computer Science Logic. Madrid, Spain, September 1999.
• MFPS'99. Conf. on Mathematical Foundations of Programming Semantics. New Orleans, USA, April 1999.
• FOSSACS'99. Int.l Conf. on Foundations of Software Science and Computation Structures. (Part of ETAPS'99.) Amsterdam, The Netherlands, March 1999.
• CP'98. Int.l Conf. on Principles and Practice of Constraint Programming. Pisa, Italy, October 1998.
• JICSLP'98. Joint Int.l Conference and Symposium on Logic Programming. Manchester, UK, June 1998.
• FOSSACS'98. Int.l Conference on Foundations of Software Science and Computation Structures. Organized by Maurice Nivat as part of ETAPS'98. Lisboa, April 1998.
• ASIAN'97.  Asian Computing Science Conference. Katmandu, Nepal, December 1997.
• CP'97. Int.l Conf. on Principles and Practice of Constraint Programming. Schloss Hagenberg, Austria, October 1997
• ALP'97. Int.l Conf. on Algebraic and Logic Programming. Southampton, UK, September 1997.
• ICLP'97. Int.l Conf. on Logic Programming. Leuven, Belgium, July 1997.
• ALP'96. Int.l Conf. on Algebraic and Logic Programming. Aachen, Germany, September 1996.
• CP'96. Int.l Conf. on Principles and Practice of Constraint Programming. Cambridge, MA, USA, Aug 1996.
• ILPS'95. International Logic Programming Symposium. Portland, USA, December 1995.
• CP'95. Principles and Practice of Constraint Programming. Marseille, France, September 1995.
• ILPS'94. International Logic Programming Symposium. Ithaca, USA, November 1994.
• CONCUR'94. Theories of Concurrency: Unification and Extension. Uppsala, Sweden, August 1994.
• CONCUR'93. Theories of Concurrency: Unification and Extension. Hildesheim, Germany, August 1993.
• JICSLP'92. Joint Int.l Conf. and Symposium on Logic Programming. Washington, USA, November 1992.
• PARLE'89. Parallel Architectures and Languages Europe. Eindhoven, The Netherlands, June 1989.

Program committee member for other meetings

• SVT 2011. Software Verification and Testing track of the 26th Annual ACM Symposium On Applied Computing. Tunghai University, TaiChung, Taiwan, March 2011.
• LIS 2010. Workshop on Logics in Security. Copenhagen, Denmark, August 2010.
• FCS-PrivMod 2010. Workshop on Foundations of Security and Privacy. Edinburgh, UK, July 2010.
• SecCo'09, the 7th International Workshop on Security Issues in Concurrency. Bologna, Italy, September 2009.
• PLID'09. Programming Language Interference and Dependence. London, UK, March 2009.
• FMWS 2008. Formal Methods for Wireless Systems. CONCUR 2008 affiliated workshop. Toronto, Canada, August 2008.
• SOS 2008. Structural operational semantics. ICALP 2008 affiliated workshop - Reykjavik, Iceland. July 2008.
• FICS 2008. 1st International Conference on Foundation of Informatics, Computing and Software. Shanghai, China. June 2008.
• FInCo 2007. Workshop on the Foundations of Interactive Computation. Braga, Portugal, March-April 2007.
• EXPRESS'06. 12th International Workshop on Expressiveness in Concurrency. Bonn, Germany, August 2006.
• EXPRESS'05. 12th International Workshop on Expressiveness in Concurrency. San Francisco, USA, August 2005.
• FInCo 2005. Workshop on the Foundations of Interactive Computation. Edinburgh, Scotland, April 2005.
• EXPRESS'04. 11th International Workshop on Expressiveness in Concurrency. London, UK, August 2004.
• DCFS 2004. Workshop on Descriptional Complexity of Formal Systems. London, Canada, July 2004.
• JFPLC 2004 Treizièmes Journées Francophones de Programmation en Logique et de programmation par Contraintes. Angers, France, June 2004.
• SBLP 2004 Brazilian Symposium on Programming Languages. Niterói, Brazil, May 2004.
• COLOPS 2003. Workshop on COnstraint and LOgic Programming in Security. Mumbai, India, December 2003.
• EXPRESS'03. 10th International Workshop on Expressiveness in Concurrency. Marseille, France, September 2003. Affiliated with CONCUR 2003.
• DCFS 2003. Workshop on Descriptional Complexity of Formal Systems. Budapest, Hungary, July 2003.
• JFPLC 2003. Douzièmes Journées Francophones de Programmation Logique et Programmation par Contraintes. Amiens, France, June 2003.
• SBLP 2003. Brazilian Symposium on Programming Languages. Ouro Preto, Brazil, May 2003.
• FLOPS 2002. International Symposium on Functional and Logic Programming. Aizu, Japan, September 2002.
• DCFS 2002. Workshop on Descriptional Complexity of Formal Systems. London, Canada, August 2002.
• F-WAN. Workshop on Foundations of Wide Area Network Computing. Co-located with ICALP 2002. Malaga, Spain, July 2002.
• SAVE 2002. Workshop on Specification, Analysis and Validation for Emerging Technologies. Co-located with FLoC 2002. Copenhagen, Denmark, July 2002.
• SBLP 2002. Brazilian Symposium on Programming Languages. Rio de Janeiro, Brazil, June 2002.
• PADL 2001. International Workshop on Practical Aspects of Declarative Languages. Las Vegas, Mach 2001.
• LPAR 2000. International Conference on Logic for Programming and Automated Reasoning. Reunion Island, November 2000.
• LPAR'99. International Conference on Logic for Programming and Automated Reasoning. Tbilisi, Georgia, September 1999.
• EXPRESS'99. Workshop on Expressiveness in Concurrency (In conjunction with CONCUR'99.) Eindhoven, August 1999.
• Int.l Ws. on Logic Programming and Multi-Agents. (In conj. with ICLP'97.) Leuven, Belgium, July 1997.
• GULP-PRODE'95. Italian-Spanish Joint Conf. on Logic Programming. Marina di Vietri, Italy, Sept 1995.
• CCP'95. First International Workshop on Concurrent Constraint Programming. Venezia, Italy, May 1995.
• PASCO'94. Conference on Parallel Symbolic Computation. Linz, Austria, September 1994.
• GULP-PRODE'94. Italian-Spanish Joint Conf. on Declarative Programming. Peniscola, Spain, Sept 1994.

Invited panelist

• Nondeterminism in Security Modeling. Panel at the 19th IEEE Computer Security Foundations Workshop. Venice, Italy, July 2006.

Invited speaker at international conferences

• ICALP 2011. The 38th International Colloquium on Automata, Languages and Programming, Zürich, Switzerland, July 2011.
IFIP-TCS 2010. The International IFIP Conference on Theoretical Computer Science. Brisbane, Australia, September 2010.
• LICS 2010. The twenty-Fifth Annual IEEE Symposium on Logic In Computer Science. Edinburgh, UK. July 2010.
• MPC 2010 - AMAST 2010. (Joint invited speaker) The 10th International Conference on Mathematics of Program Construction, and the 13th International Conference on Algebraic Methodology And Software Technology. Manoir St-Castin, Québec, Canada, June 2010.
• MFPS XXI. The Twenty-first Conference on the Mathematical Foundations of Programming Semantics. University of Birmingham, UK, May 2005.
• PPDP 2002. International ACM Conference on Principles and Practice of Declarative Programming. (Joint with GCSE and SAIG. Part of PLI'02.) Pittsburgh, USA, October 2002.
• CONCUR'99. International Conference on Concurrency Theory. Eindhoven, the Netherlands, August 1999.
• ALP-PLILP'94. Joint Annual Conference on Algebraic and Logic Programming - Programming Languages Implementation and Logic Programming. Madrid, Spain, September 1994.

Invited speaker at international workshops

• VECoS 2012. 6th International Workshop on Verification and Evaluation of Computer and Communication Systems. CNAM, Paris, France. August 27-28, 2012.
• SecCo 2011. International Workshop on Security Issues in Concurrency. (Part of Aachen Concurrency and Dependability Week.) Aachen, Germany, September 2011.
• SOS 2010 - EXPRESS 2010. (Joint invited speaker) The 7th workshop on Structural Operational Semantics, and the 17th workshop on Expressiveness in Concurrency Theory. Affiliated to CONCUR 2010, the 21st International Conference in Concurrency Theory. Paris, August 2010.
• ARSPA-WITS'10. The Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security. Paphos, Cyprus, March 2010. Affiliated with ETAPS 2010.
• IFIP 1.8 Workshop on Formal Methods for Embedded Systems. Eindhoven, NL. November 2009.
• BASICS 2009 International Workshop on Computation and Interaction. Shanghai, China. October 2009.
• SecCo 2008. International Workshop on Security Issues in Concurrency. (Part of Concur 2008.) Toronto, Canada, August 2008.
• ICE'08. Synchronous and Asynchronous Interactions in Concurrent Distributed Systems. ICALP 2008 affiliated workshop - Reykjavik, Iceland. July 2008.
• PLID'07. Programming Language Interference and Dependence. Kongens Lyngby, Denmark, August, 2007.
• PAuL'07. 2nd International Workshop on Probabilistic Automata and Logics. Wroclaw, Poland, July 9, 2007.
• EXPRESS 2002. International Workshop on Expressiveness in Concurrency. Brno, Czech Republic, August 2002.

Invited speaker at national conferences and workshops

• Grande Region Security and Reliability Day. Nancy, France. March 2012.
• CBSoft 2011. Brazilian Conference on Software: Theory and Practice. (Keynote International Speaker.) São Paulo, September 2011.
• Grande Region Security and Reliability Day. Nancy, France. March 2012.
• BCTCS 2010. British Colloquium for Theoretical Computer Science. Edinburgh, UK. April 2010.
• Workshop on “Ubiquitous Computing at a Crossroads”. London, UK. January 2009.
• 1st Canada-France MITACS Workshop on Foundations & Practice of Security Montreal, Quebec. May-June 2008.
• JFPLC-UNIF'97. Joint Annual Conference on Constraint and Logic Programming - Unification. Orleans, France, May 1997.

Invited talks at other meetings

• Dagstuhl seminar on Information Flow and Its Applications. Schloss Dagstuhl, Germany, 26-31 August 2012.
• COW 2012. The 19th CREST Open Workshop on \emph{Interference and Dependence} on 30st April - 1st May 2012.
• The Amir Pnueli Memorial Symposium. New York, USA, May 2010.
• Dagstuhl seminar on Quantitative and Qualitative Analysis of Network Protocols. Schloss Dagstuhl, Germany, 31 Jan - 5 Feb 2010.
• Workshop in occasion of the opening of the MT-Lab in Copenhagen, 19-20 Oct 2008.
• Workshop on Informatic Phenomena. New Orleans, 13-17 Oct 2008.
• Workshop on Logic And Information Security. Leiden, 22-26 Sept 2008.
• Workshop on the Interplay of Programming Languages and Cryptography. Sophia Antipolis, France, 7 November 2007.
• Dagstuhl seminar on Formal Protocol Verification Applied. Schloss Dagstuhl, Germany, 14-19 October 2007.
• IFIP WG 2.2 - Formal Description of Programming Concepts. Nancy, France, September 2007.
• PERAD 2007. Pervasive Adaptive Joint FET - EATCS Workshop. Brussels, Belgium, January 2007.
• IFIP WG 2.2 - Formal Description of Programming Concepts. Udine, Italy, September 2006.
• IFIP WG 2.2 - Formal Description of Programming Concepts. Skagen, Denmark. August 31 - September 3, 2005.
• Workshop on Algebraic Process Calculi: The First Twenty Five Years and Beyond. Bertinoro, Italy, august 2005.
• Workshop on Foundations of Global Computing. Schloss Dagstuhl, Germany, 20-25 February 2005.
• Workshop on Process Algebra: Open Problems and Future Directions. Bertinoro, Italy, July 21-25, 2003.
• IFIP WG 2.2 - Formal Description of Programming Concepts. Oldenburg, Germany. 13 - 14 September 2002.
• Logic and Interaction Weeks. CIRM, Marseille, February 2002.
• IFIP WG 2.2 - Formal Description of Programming Concepts. Rennes, France, May 2001.
• IFIP WG 2.2 - Formal Description of Programming Concepts. Oldenburg, Germany, September 2000.
• DIPLCL'99. Workshop on Distributed and Internet Programming with Logic and Constraint Languages, December 1999.
• FUN'97. Third Italian Workshop on Functional Programming, Bologna, Italy, March 1997.
• 5th Compulog Net meeting on Language Design and Semantic Analysis Methods, Aachen, Germany, September 1996.
• Seminar on Expressiveness in Concurrency. IBFI Schloss Dagstuhl, Germany, September 1996.
• ACCLAIM Workshop on Theory and Practice of Constraint Programming. Pisa, Italy, May 1995.
• IFIP Working Group 2.2 - Programming Concepts, Methods and Calculi. San Miniato, Italy, June 1994.
• AMAST-MASK Workshop on Topology and Completion Semantics. Chalmers, France, November 1993.
• Workshop on New Trends in Logic Programming. Valencia, Spain, June 1993.
• UK ALP Annual Conference (UK Annual Conference on Logic Programming). London, UK, April 1992.
• 3rd BENELOG meeting (Benelux Annual Conference on Logic Programming). Namur, Belgium, Sept 1991.
• Chalmers Workshop on Concurrency. Baastad, Sweden, May 1991.
• Seminar on Integration of Functional and Logic Programming. Dagstuhl, Germany, March 1991.
• Workshop on Semantics of Concurrent Logic Languages. Eilat, Israel, June 1990.
• Workshop on Concurrent Logic Programming and Constraint Logic Programming. Pisa, Italy, June 1989.

Advising boards and referee activity

• (2007-) Member of the INRIA/DRI GTRI (Group de Travail Relations Internationales) du COST (Conseil d'Orientation Scientifique et Technologique) de l'INRIA. Promotion of international initiatives and the evaluation of project proposals.
• (2006-) President of the selection committee for the EATCS Best Paper Award at the ETAPS conferences.
• (2010-11) Member of the EAPLS PhD Award Committee.
• (2010) Member of the LICS 2011 Test Of Time Award Committee.
• (2010) Member of the committee for the promotion to full professor. KTH - Royal Institute of Technology. Stockolm, Sweden.
• (2008) Member of the “Commission Scientifique Disciplinaire pour les Programmes Non Thématiques et Jeunes Chercheurs” of the ANR.
• (2008-10) Member of the “Commission Scientifique du Centre de Recherche INRIA Saclay”.
• (2008) Member of the panel to evaluate project proposals for programme “Information and Communication Technology - ICT”, sponsored by the Vienna Science and Technology Fund WWTF.
• (2007) Member of the committee for the evaluation of the candidates to the researcher (CR2) positions at INRIA Saclay.
• (2006-09) Momber of the EATCS Award Committee, attributing an annual award to distinguished career in Theoretical Computer science.
• (2006) Member of the assessment panel for the evaluation of the project proposals for the initiative FOCUS of the Dutch National Science Foundation.
• (2005-) Reviewer for the projects proposal for the program PRIN, sponsored by the Italian MIUR (“Ministero dell'Istruzione, dell'Università e della Ricerca”).
• (2003) Member of the committee for the evaluation of the candidates to the researcher (CR2) positions at INRIA Futurs.
• (2003) External advisor and member of the Promotion Committee for faculties in Computer Science University of Cyprus. November 2003.
• (2002) Reviewer and Panelist for proposals submitted to the National Science Foundation Program on Software Engineering and Languages.
• (2001) Reviewer of various projects submitted to NWO (Council of Physical Sciences of the Netherlands Organisation for Scientific Research).
• (2001) Reviewer for proposals submitted to Science Foundation Ireland .
• (2000) Referee for the NSF program of Collaboration with Western Europe.
• (2000) Reviewer of various projects submitted to the Canadian National Research Agency.
• (1997) External advisor and member of the committee in the competition for an Associate Professorship position in Computer Science at the Univ. of Stockholm, Sweden, 1997.
• (1996) External advisor and member of the committee in the competition for a chair in Computer Science at the Univ. of Lund, Sweden, 1996.
• (1993-1999) Referee for the ESPRIT Long Term Research activities in the European Project and Technological Development Programme.
• (1992) Reviewer of various projects submitted to the SION Foundation (Computer Science in the Netherlands).
• Regular reviewer for several journals and international conferences, like: (ACM-TOPLAS, Information and Computation, TPLP, Journal of Logic Programming, Theoretical Computer Science, Acta Informatica, Journal of Symbolic Computation, Journal of Logic and Computation, Information Processing Letters, IEEE Transactions on Computers, IEEE Concurrency Magazine, STACS, POPL, LICS, ETAPS, TAPSOFT, ICALP, FGCS, ICLP, ILPS, PARLE, ALP, MFCS, etc.).
• Author of several reference letters every year for candidates applying to various positions in Computer Science

Projects and grants

Projects

• FP7 project MEALS: Mobility between Europeand Argentina applying Logic to Systems. This project is financed by the FP7 Marie Curie's IRSES program, for the years 20013-2016. Partners: Saarland University, Germany. Rheinisch-Westfälische Technische Hochschule Aachen, Germany. Technische Universität Dresden, Germany. INRIA, France. Imperial College of Science, Technology and Medicine, UK, University of Leicester, UK. Technische Universiteit Eindhoven, NL. Universidad Nacional de Cordoba, AR. Universidad de Buenos Aires, AR.
• DRI project PRINCESS: Protecting privacy while preserving data access. Teams involved: INRIA Futurs (p.i. C. Palamidessi), Florida International University (p.i. G. Smith), and University of Pennsylvania (p.i. A. Scedrov). 2013-2018.
• ANR International project PACE, Beyond plain Processes: Analysis, Coinduction and Expressiveness. This project is financed by the ANR, for the years 20013-2016. Partners: ENS Lyon (p.i. Daniel Hirschoff), INRIA Sophia-Antipolis (p.i. Davide Sangiorgi), INRIA Saclay (p.i. Catuscia Palamidessi), Chinese Academy of Science of Shangai (p.i. Yuxi Fu).
• ANR International project LOCALI, Logical Approach to Novel Computational Paradigms. This project is financed by the ANR, for the years 20011-2015. Partners: INRIA Rocquencourt (p.i. Gilles Dowek), INRIA Saclay (p.i. Catuscia Palamidessi), Paris VII (p.i. Thomas Erhard), Chinese Academy of Science of Beijin (p.i. Ying Jiang).
• Large-scale initiative CAPPRIS: Collaborative Action on the Protection of Privacy Rights in the Information Society. The goal of this project is to study the challenges related to privacy in the modern information society, trying to consider not only the technical, but also the social and legal ones, and to develop methods to enhance the privacy protection. This project is financed by INRIA for the years 2011-2015 and it involves four INRIA research centers (Saclay, Saphia-Antipolis, Rennes and Grenoble), CNRS-LAAS, Eurecom and the university of Namur. Besides computer scientists, the consortium also includes experts in sociology and in law, thus covering the complementary areas of expertise required to reach the objectives.
• ANR project PANDA, Analysis of Parallelism and Distribution. This project is financed by the ANR, for the years 2009-2013. Partners: INRIA Saclay (p.i. Catuscia Palamidessi), CEA Saclay (p.i. Emmanuel Haucourt), Pôle Parisien (p.i. Damiano Mazza), Pôle Méditerranéen (p.i., Emmanuel Godard), Airbus (p.i. Jean Souyris).
• ANR project CPP: Confidence, Proof and Probabilities. This project is financed by the ANR, for the years 2009-2013. Partners: LSV (p.i. Jean Goubault-Larrecq), CEA (p.i. Olivier Bouissou), INRIA Futurs (p.i. C. Palamidessi), Supelec L2S (p.i. Michel Kieffer), and Supelec SSE (p.i. Gilles Fleury).
• DREI project PRINTEMPS: PRobability and INformation ThEory for Modeling anonymity, Privacy, and Secrecy. Teams involved: INRIA Futurs (p.i. C. Palamidessi), McGill University (p.i. P. Panangaden). 2006-2009. Renewed for three more years: 2009-2011.
• PAI project MONACO: MOdels for New Applications of COncurrency. Teams involved: Imperial College (p.i. I. Phillips), INRIA Futurs (p.i. C. Palamidessi) and Technische Universität Berlin (p.i. U. Nestmann). 2007.
• ARC project ProNoBiS: Probability and Nondeterminism, Bisimulations and Security. Main partners: ENS Cachan and INRIA Futurs (team SECSI) (p.i. J. Goubault-Larrecq), INRIA Futurs (team Comète) (p.i. C. Palamidessi), PPS (p.i. V. Danos), University of Oxford (p.i. M. Kwiatkowska) and Università di Verona (p.i. R. Segala). 2006-2007.
• INRIA-FNQRT project on Security. Teams involved: INRIA Futurs (p.i. C. Palamidessi), McGill University (p.i. P. Panangaden). 2006-2007.
• EGIDE/PAI project Vallauris. Integrating Proof Theoretic techniques and Semantic Tools in Proof Carrying Code and Validation and Analysis of Declarative code. Teams involved: INRIA Futurs (p.i. Catuscia Palamidessi and Dale Miller) and Universidad Politécnica de Madrid (p.i. James Lipton and Manuel Hermenegildo). 2005-2006
• ACI Securité project Rossignol: Verification of Cryptographic Protocols}. Teams involved: LIF (p.i. D.Lugiez), INRIA Futurs (p.i. C. Palamidessi), LSV (p.i. F. Jacquemard) and VERIMAG (p.i. Y. Lakhnech). 2003-2006.
• Principal investigator of a NSF-POWRE project on Probabilistic methods in Concurrency. Funded by National Science Foundation from 2000 untill 2002.
• U.S.-France Cooperative Research on Logic-Based Specification and Verification Tools for Concurrent Languages. Funded for three years starting from 1999 by the NSF and the French CNRS. The Principal Investigators of this project are François Fages (ENS), Dale Miller and Catuscia Palamidessi (PSU).
• HCM EXPRESS Cooperation Network on Expressiveness of languages for Concurrency. Partners: Centre for Mathematics and Computer Science (CWI) (NL), Università di Genova (I), University of Utrecht (NL), Università di Rome (I), Swedish Institute of Computer Science (SICS) (S), University of Hildesheim (D), University of Amsterdam (NL), INRIA Sophia-Antipolis (F), INRIA Rennes (F), Gesellschaft fur Mathematik und Datenverarbeitung (GMD) (D), University of Sussex (UK). Funded by the European Community (EC) for four years starting from 1993.
• EC/KIT Cooperation Network on Logic Programming in Knowledge Representation and Reasoning. Partners: Università di Genova (I), Università di Pisa (I), Imperial College (UK), Universidade Nova de Lisboa (P), Asian Institute of Technology (Thailand). Funded by the EC for two years starting from 1994.
• CNR/JNICT Cooperation Italy-Portugal on Concurrency extensions and parallel implementations of Logic Programming. Partners: Università di Genova (I), Università di Pisa (I), Università di Bologna (I), Universitade Nova de Lisboa (P). Funded by the Italian Comitato Nazionale delle Ricerche (CNR) and the Portuguese JNICT for two years starting from 1994.
• Cooperation Università di Genova - Free University of Amsterdam on Concurrent Constraint and Logic Programming. Funded by the Italian CNR for one year (1994).
• Cooperation Università di Genova - Università di Pisa - Università di Bologna on Coordination Languages. Funded by the Italian CNR for one year (1994).

Grants

• Several Ecole Polytechnique / Ministère grants for PhD students and visiting scientists.
• Several INRIA grants for PhD students, postdoc and visiting scientists.
• Several CNRS/DGA grants for three years PhD position.
• Several Digiteo grants for visiting scientists.
• Several CNRS grants for visiting scientists.
• CNRS grant for one year postdoc position. September 2004 - August 2005.
• EEC grant for three months postdoc position in 1997.
• Fulbright Senior grant for visiting an academic institute in the USA, for three months in 1997. (Declined.)
• GNIM/CNR grant to invite a senior foreign visitor for two months in 1996.
• GNIM/CNR grant to visit the University of Pennsylvania for three weeks. July 1994.
• GNIM/CNR grant to invite a senior foreign visitor for one month. June 1994.
• NATO grant to visit the Centre for Mathematics and Computer Science (CWI) in Amsterdam for eleven months. Dec. 90 - Oct. 91.
• CNR grant to visit the Centre for Mathematics and Computer Science (CWI) in Amsterdam for six months. March 90 - Aug. 91

Teaching and educational activity

Supervision of PhD students

• (2012-) Marco Stronati. Ecole Polytechnique. Grant EDX Monge. Co-supervised with Konstantinos Chatzikokolakis, Ecole Polytechnique.
• (2011-) Lili Xu. Ecole Polytechnique and Chinese academy of Science of Beijing, China. Grants ANR and CAS. Co-supervised with Huimin Li, Chinese academy of Science.
• (2011-) Nicolás Bordenabe. Ecole Polytechnique. Grant INRIA/DGA. Co-supervised with Konstantinos Chatzikokolakis, Ecole Polytechnique.
• (2011-) Luis Fernando Pino Duque. Ecole Polytechnique. Grant INRIA/DGA. Co-supervised with Frank D. Valencia, Ecole Polytechnique.
• (2010-) Sophia Knight. Ecole Polytechnique. Grant INRIA/CORDIS. Co-supervised with Frank D. Valencia, Ecole Polytechnique.
• (2009-12) Andrés Aristizábal. Ecole Polytechnique. Grant CNRS/DGA. Co-supervised with Frank D. Valencia, Ecole Polytechnique. Title of the thesis: Bisimulation Techniques and Algorithms for Concurrent Constraint Programming. Defended in October 2012.
• (2009-11) Marie-Aude Steineur. Ecole Polytechnique. Grant ANR. Co-supervised with Sami Abbes, University of Paris 7, Paris. She did not complete her thesis because of personal problems.
• (2009-) Ivan Gazeau. Ecole Polytechnique. Grant ANR. Co-supervised with Dale Miller, Ecole Polytechnique, Paris.
• (2008-11) Mario Sergio Ferreira Alvim Junior. Ecole Polytechnique. Grant CNRS/DGA. Title of his PhD thesis: Quantitative Approaches for Information Flow: An Analysis of Interactive Systems and Statistical Databases. Defended on October 2011. After the PhD he got a postdoc position at the University of Pennsylvania, USA.
• (2007-11) Miguel Andrés. Radboud University Njimegen. Co-supervised with Bart Jacobs and Peter van Rossum. Title of his PhD thesis: Quantitative Analysis of Information Leakage in Probabilistic and Nondeterministic Systems. Defended on July 2011.
• (2007-10) Christelle Braun. Ecole Polytechnique. Grant Ministère/BDX. Title of his PhD thesis: Quantitative Approaches to Information Hiding. Defended in May 2010.
• (2006-09) Jesús Aranda. Ecole Polytechnique. Co-supervised with Frank D. Valencia and by Juan Francisco Diaz. Grants by CROUS and by the Universidad del Valle, Cali, Colombia. Title of his thesis: On the Expressivity of Infinite and Local Behaviour in Fragments of the pi-calculus. Defended in October 2009. After the defense he got a professor position at the Universidad del Valle, Cali, Colombia.
• (2006-09) Carlos Olarte. Ecole Polytechnique. Co-supervised with Frank D. Valencia. Grant INRIA/CORDIS. Title of the thesis: Universal Temporal Concurrent Constraint Programming. Defended on 29 September, 2009. After the defense he got an associate professor position at the Universidad Javeriana, Cali, Colombia.
• (2006-09) Sylvain Pradalier. Ecole Polytechnique. Co-supervised with Cosimo Laneve. Grant ENS Cachan. Title of his thesis: A formal approach to the modeling, simulation and analysis of nano-devices. Defended in September 2009. After the defense he did a postdoc position at INRIA Rocquencourt, France.
• (2005-09) Romain Beauxis. Ecole Polytechnique. Grant Region Ile de France. Title of his thesis: A formal approach to the modeling, simulation and analysis of nano-devices. Defended in May 2009. After the defense he got a postdoc position at Tulane University, USA.
• (2004-06) Axelle Ziegler (co-supervised with Dale Miller). Ecole Polytechnique. Grant ENS Ulm, since 1 October 2004 untill April 2006. Topic: Higher-Order Structural Operational Semantics. She did not complete the PhD because of health problems.
• (2004-07) Konstantinos Chatzikokolakis. Ecole Polytechnique. Grant Ministère/BDX, since 1 October 2004 untill 30 September 2007. Title of his PhD thesis: Probabilistic and Information-Theoretic Approaches to Anonymity, defended on 26 October 2007. Winner of the second SPECIF/Gilles Kahn prize for the best PhD thesis in France in Computer Science, in the a.y 2007-08. After the defense, Konstantinos has been a postdoc at the University of Oxford and a postdoc at the Technical University of Eindhoven, The Netherlands.
• (1998-02) Mihaela Oltea Herescu. Department of Computer Science and Engineering, Penn State University, USA. Title of her PhD thesis: Probabilistic Asynchronous pi-calculus, defended on November 2002. She is currently employed at IBM Austin, Texas.
• (1993-96) Alessandro Messora. Topic: Higher Order Logic Programming. Department of Computer Science, University of Genova, Italy. He did not complete the PhD because of family problems.
• (1990-94) Alessandra di Pierro. Title of her PhD thesis: Negation and Infinite Computations in Logic Programming. Department of Computer Science, Università di Pisa, Italy. Thesis defended on February 2004. She is currently employed at the Dept. of Computer Science of the Università di Verona as an Assistant Professor.

Supervision of other students

• Supervisor for the following internship students:
  • Michela Paolini. IMT Institute for Advanced Studies, Lucca, Italy. From Sept 2012 until Dec 2012.
  • Fernán Martinelli. University of Rio Cuarto. From Sept 2012 until March 2013.
  • Marco Stronati. Dipartimento di Informatica, Università di Pisa, Italy. From Sept 2011 until March 2012.
  • Abhishek Bhowmick. Computer Science and Engineering, IIT Kanpur. May-July 2008.
  • Christelle Braun. Ecole de Mines de Nancy and Univ. of Dresden. From 1/6/2007 untill 31/7/2007.
  • Purnima Gupta. IIT, New Delhi. From 1/5/2006 untill 31/7/2006.
  • Andrés Aristizábal. Universidad Javeriana Cali. From 1/5/2005 untill 31/7/2005.
  • Adrian Balan. Ecole Polytechnique. From 1/11/2004 untill 31/3/2005.
  • Romain Beauxis. Master informatique Orsay. From 1/4/2005 untill 30/11/2005.
  • Sylvain Pradalier. ENS Cachan. From 1/4/2005 untill 1/9/2005.
  • Oleksii Maniatchenko. Univ. de Versailles. From 1/6/2005 untill 1/9/2005.
  • Mohit Bhargava. IIT Delhi, India. From 1/5/2004 untill 31/7/2004.
  • Jean-Baptiste Bianquis. DEA Programmation. From 1/4/2004 untill 30/9/2004.
  • Kostas Chatzikokolakis. DEA Programmation. From 1/4/2004 untill 30/9/2004.
  • Axelle Ziegler. DEA Programmation. From 1/4/2004 untill 30/9/2004.
• Supervisor and opponent of various Master Theses in Computer Science at the Dept. of Computer Science and Engineering, Penn State University, USA, at the Dept. of Computer Science, Università di Genova, Italy, and at the Dept. of Computer Science, Università di Pisa, Italy.
• Supervisor of various Honnor Theses in Computer Science and Engineering at the Dept. of Computer Science and Engineering, Penn State University, USA.

Examiner for Habilitation thesis

• Daniele Varacca (University of Paris VII, France). Title of the thesis: Contributions to the Semantics of Concurrency. Defended in December 2012.
• Steve Kremer (ENS Cachan, France). Title of the thesis: Modelling and analyzing security protocols in cryptographic process calculi. Defended in March 2011.

Examiner for PhD thesis

• James Jerson Ortiz Vega (Universidad del Valle, Cali, Colombia). PhD thesis reviewer and member of the committee board at the PhD defense. Title of the thesis: Formal Methods for the Specification and Verification of Distributed and Timed Systems. Advised Juan Francisco Dias Frias. Defended in September 2013.
• Thomas Given-Wilson (University of Technology, Sydney, Australia). PhD thesis reviewer. Title of the thesis: Concurrent Pattern Unification. Advised by Barry Jay. Defended in August 2012.
• Jacopo Mauro (University of Bologna, Italy). PhD thesis reviewer. Title of the thesis: Constraints meet Concurrency. Advised by Maurizio Gabbrielli. Defended in April 2012.
• Morgan Barbier (Ecole Polytechnique, France). Member of the committee board at the PhD defense. Title of the thesis: Décodage en liste et application à la sécurité de l'information. Advised by Daniel Augot. Defended in December 2011.
• Giulio Caravagna (University of Pisa, Italy). PhD thesis reviewer. Title of the thesis: Formal Modeling and Simulation of Biological Systems with Delays. Defended in December 2011.
• Robert Abo (Conservatoire National des Arts et Métiers, France). PhD thesis reviewer and member of the committee board at the PhD defense. Title of the thesis: Approches formelles pour l?analyse de la performabilité des systèmes communicants mobiles : Application aux réseaux de capteurs sans fil. Advised by Kamel Barkaoui. Defended in December 2011.
• Mathieu Sassolas (University of Paris VI, France). PhD thesis reviewer and member of the committee board at the PhD defense. Title of the thesis: Méthodes qualitatives et quantitatives pour la détection d'information cachée. Advised by Béatrice Bérard. Defended in November 2011.
• Sonja Georgievska (Eindhoven University of Technology, The Netherlands). PhD thesis reviewer and member of the committee board at the PhD defense. Title of the thesis: Probability and Hiding in Concurrent Processes. Advised by Jos Baeten, Suzana Andova, and Wan Fokkink. Defended in October 2011.
• Antonio Vitale (University of Bologna, Italy). PhD thesis reviewer. Title of the thesis: Expressiveness in biologically inspired languages. Advised by Cosimo Laneve. Defended in Spring 2010.
• Andrea Turrini (University of Verona, Italy). PhD thesis reviewer. Title of the thesis: Hierarchical and compositional verification of cryptographic protocols. Advised by Roberto Segala. Defended in Spring 2009.
• Magnus Johansson (Dept. of Information Technology, Uppsala University). PhD thesis opponent and member of the committee board at the PhD defense. Title of the thesis: Psi-calculi: a framework for mobile process calculi?: Cook your own correct process calculus - just add data and logic. Advidsed by Björn Victor and Joachim Parrow. Defended on 31 May 2010.
• Luca Fossati, University of Turin, Italy. PhD thesis reviewer and member of the committee board at the PhD defense. Title of the thesis: Modeling the Handshaking Protocol for Asynchrony. Advised by Simona Ronchi Della Rocca and Pierre-Louis Curien. Defended on 9 February 2009.
• Cinzia Di Giusto (University of Bologna, Italy). PhD thesis reviewer and member of the committee board at the PhD defense. Title of the thesis: Expressiveness of Concurrent Languages. Advised by Maurizio Gabbrielli. Defended on 20 April 2009.
• President of the committee at the “defense day” of all thesis in Computer Science for the year 2009 at the University of Bologna. 20 April 2009.
• Han Chen. Queen Mary, University of London, UK. PhD thesis reviewer and member of the committee board at the PhD defense. Title of the thesis: Information-Theoretic Approaches to Non-Interference. Advised by Pasquale Malacaria. Defended on December 17, 2008.
• Augusto Parma. Università di Verona, Italy. PhD thesis reviewer and member of the committee board at the PhD defense. Title of the thesis: Axiomatic and Logical Characterizations of Probabilistic Preorders and Trace Semantics. Advised by Roberto Segala. Defended on May 8, 2008.
• Sardaouna Hamadou. Ecole Polytechnique of Montreal, Canada. PhD thesis reviewer and member of the committee board at the PhD defense. Title of the thesis: Analyse formelle des protocoles cryptographiques et flux d'information admissible. Advised by John Mullins and Srecko Brlek. Defended on March 26, 2008.
• Rémy Haemmerlé Université Paris VII. PhD thesis reviewer and member of the committee board at the PhD defense. Title of the thesis: Fermetures et Modules dans les langages concurrents avec contraintes fondés sur la logique linèaire. Advised by François Fages. Defended on January 17, 2008.
• Florent Garnier, Loria, France. PhD thesis reviewer and member of the committee board at the PhD defense. Title of the thesis: Terminaison en temps moyen fini de systèmes de règles probabilistes. Advised by Claude Kirchner. Defended on September 17, 2007.
• Jean Krivine. Université Paris VI, France. PhD thesis reviewer and member of the committee board at the PhD defense. Title of the thesis: Reversible process algebra. Advised by Jean-Jacques Lévy. Defended on November 16, 2006.
• Diletta Romana Cacciagrano. Università de L'Aquila, Italy. PhD thesis reviewer. January 2004.
• Marie Duflot, École Normale Supérieure de Cachan, France. PhD thesis reviewer and member of the committee board at the PhD defense. September 2003.
• Lionel Khalil, École Polytechnique, France. PhD thesis reviewer and member of the committee board at the PhD defense. June 2003.
• Jeremie Blanc, Université de Grenoble I, France. PhD thesis reviewer and member of the committee board at the PhD defense. December 2002.
• Elaine Pimentel, Universidade Federal de Minas Gerais, Brazil. PhD thesis reviewer and member of the committee board at the PhD defense. December 2001.
• Sylvain Soliman, Université de Paris 7, France. PhD thesis reviewer and member of the committee board at the PhD defense. April 2001.
• René Moreno, Università di Pisa, Italy. PhD thesis reviewer. February 2000.
• Gianluigi Zavattaro, Università di Bologna, Italy. PhD thesis reviewer. February 2000.
• Nadia Busi, Università di Siena, Italy. PhD thesis reviewer. February 1998.
• Sven-Olof Nyström, University of Uppsala, Sweden. PhD thesis reviewer and member of the committee board at the PhD defense. April 1996.
• Rosario Pugliese, Università di Roma, Italy. PhD thesis reviewer. February 1996.
• Willem Jan Fokkink, Centre for Mathematics and Computer Science (CWI), Amsterdam, The Netherlands. PhD thesis reviewer and member of the committee board at the PhD defense. December 1994.
• Francesca Rossi, Università di Pisa, Italy. PhD thesis reviewer and member of the committee board at the PhD defense. February 1993.
• Mounira Belmesk, CNRS, France and University of Algery, Algeria. PhD thesis reviewer and member of the committee board at the PhD defense. September 1992.
• Staffan Bonnier, University of Linköping, Sweden. PhD thesis reviewer and member of the committee board at the PhD defense in the role of opponent. May 1992.

Teaching awards

• Recipient of the best teaching award for the year 1998 in the Department of Computer Science and Engineering of the Pennsylvania State University.

Tutorials, seminars, lectures in advanced schools, graduate courses

• Course on Quantitative Information Flow and on Differential Privacy at RIO 2012, the Summer School on Informatics Río Cuarto, Argentine. February 2012.
• Course on Quantitative Information Flow at the 11th International School on Foundations of Security Analysis and Design , Bertinoro, Italy, September 2011.
• Course on Concurrency at the MPRI, Université Paris VII, France. A.Y. 2007-08 , 2006-07 , 2005-06 , 2004-05.
• Jan-Feb 2005. Lectures for the CIMPA-UNESCO School on Security of Computer Systems and Networks.
• Summer 2004. Course on Probabilistic Methods in Concurrency at the PhD program in Pisa, Università di Pisa, Italy.
• Fall 2003. Course on Concurrency at the DEA Programmation, Université Paris VII, France.
• CSE 520 Fall 2001 , Fall 2000 , Fall 1999 and Fall 1998. Science of Computer Programming. Graduate course, 45 hours of lectures. Dept. of Computer Science and Eng, PSU, USA.
• CSE 597E Fall 2001. Security Protocols and Formal Methods. Graduate seminar. Dept. of Computer Science and Eng, PSU, USA.
• CSE 597A Fall 2000. Program Analysis. Graduate seminar, with John Hannan, Mahmut Kandemir and Dale Miller. Dept. of Computer Science and Eng, PSU, USA.
• CSE 597G Spring 1998. Logic and Programming Languages. Graduate seminar, with John Hannan and Dale Miller. Dept. of Computer Science and Eng, PSU, USA.
• Concurrent Constraint Programming. PhD course, 20 hours of lectures. Apr. - May 1994. Dept. of Computer Science, Univ. of Genova, Italy.
• Concurrent Constraint Programming. Advanced school, 8 hours of lectures. June 1992. Int. School for Computer Science Researchers, Acireale, Italy.
• Logic Programming. Advanced course, 26 hours of lectures. Jan. - Apr. 1991. Dept. of Computer Science, Univ. of Utrecht, The Netherlands.
• Semantics of Logic programming. PhD module, 6 hours of lectures. Feb. 1989. Dept. of Computer Science, Univ. of Uppsala, Sweden.
• Meta-Programming in Logic Programming. Advanced school, 10 hours of lectures. Jan. 1989. Ad. Sch.“Reiss Romoli”, L'Aquila, Italy.
• Theory of Logic Programming. 2 hours tutorial. May 1988. Italian Ann. Conf. on Logic Prog., Rome, Italy.
• Theory of Logic and Functional Languages. Advanced school, 10 hours of lectures. Feb. 1988. Ad. Sch. “Reiss Romoli”, L'Aquila, Italy.
• Modules and Abstract Data Types in ML. Advanced school, 8 hours of lectures. Feb. 1987. Cons. Res. and Appl. Computer Science, Rende, Italy.

Undergraduate courses

• CSE 428 Spring 2002 , Spring 2001 , Spring 2000 , Spring 99 and Spring 98. Programming Languages Concepts. Dept. of Computer Science and Eng, PSU, USA.
• CSE 468 Fall 2000 and Fall 98. Th. of Automata, Languages and Computability. Dept. of Computer Science and Eng, PSU, USA.
• Programming Languages. Dept. of Computer Science, Univ. of Genova, Italy. A.Y. 97-98 and 96-97.
• Theory and Practice of Programming. Dept. of Computer Science, Univ. of Genova, Italy. A.Y. 95-96 and 94-95.
• Theory and Applications of Computing Machines. Dept. of Computer Science, Univ. of Genova, Italy. A.Y. 93-94 and 92-93.
• Theory and Applications of Computing Machines. Dept. of Computer Science, Univ. of Pisa, Italy. A.Y. 89-90.
• Theory of Algorithms and Computability. Dept. of Computer Science, Univ. of Pisa, Italy. A.Y. 91-92, 89-90, and 88-89.

Service to the department and college

• (2010-) Vice-director of the Laboratoire d'Informatique the Ecole Polytechnique (LIX). France.
• (2007-) Member of the Comité de These for Mathematics and Computer Science at the Ecole Polytechnique. France.
• (2001-2002) Faculty advisor of the Penn State Chapter of ACM-W (Women in Computing), Penn State University, USA.
• (2001) Faculty advisor for the Engineering Advising Center. College of Engineering, Penn State University, USA.
• (2000-2002) Member of the Award Committee. Dept. of Computer Science and Engineering, Penn State University, USA.
• (2000-2001) Chair of the Sabbatical Review Committee. College of Engineering, Penn State University, USA.
• (1999-2001) Member of the Graduate Committee. Dept. of Computer Science and Engineering, Penn State University, USA.
• (1999-2000) Member of the Promotion and Tenure Committee. Dept. of Computer Science and Engineering, Penn State University, USA.
• (1999-2000) Member of the Sabbatical Review Committee. College of Engineering, Penn State University, USA.
• (1998-2001) Member of the Climate Committee. College of Engineering, Penn State University, USA.
• (1998-2001) Chair of the Climate Committee. Department of Computer Science and Engineering, Penn State University, USA.
• (1997) Chair of the committee for the admission to the PhD program in Computer Science Univ. of Genova, Italy.

Hosting of international visitors

• (Oct-Nov 2012) Vladimiro Sassone. Full professor at the University of Southampton, UK.
• (July 2012) Carlos Olarte. Associate professor at the Pontificia Universidad Javeriana, Colombia.
• (July 2012) Elaine Pimentel. Associate professor at the Universidade Federal de Minas Gerais, Belo Horizonte, Brazil.
• (June 2012) Moreno Falaschi. Full professor at the Università di Siena, Italy.
• (June 2012) Linda Brodo. Assistant professor at the Università di Sassari, Italy.
• (Dec 2011) Vladimiro Sassone. Professor at the University of Southampton, UK.
• (Nov 2011) Moreno Falaschi. Professor at the University of Siena, Italy.
• (Sept-Dec 2011) Geoffrey Smith. Associate Professor at Florida University, USA.
• (Aug-Sept 2010) Vladimiro Sassone. Professor at the University of Southampton, UK.
• (June-Sept 2010) Pierpaolo Degano. Provessor at the University of Pisa, Italy.
• (June-July 2010) Maurizio Gabbrielli. Professor at the University of Bologna, Italy.
• (June-July 2010) Moreno Falaschi. Professor at the University of Siena, Italy.
• (June-Sept 2009) Antonio Vitale. PhD student at the University of Bologna, Italy.
• (June-July 2009) Geoffrey Smith. Associate Professor at Florida University, USA.
• (May-June and October 2009) Miguel Andrés.PhD student at the University of Nijmegen, NL.
• (May-July 2009) Cosimo Laneve. Professor at the University of Bologna, Italy.
• (June-Sept. 2009) Moreno Falaschi. Professor at the University of Siena, Italy.
• (Sept.-Oct. 2008) Srecko Brlek. Professor at the Ecole Polytechnique of Montreal, Canada.
• (Oct.-Nov. 2008) Diletta Romana Cacciagrano. Assistant Professor, University of Camerino, Italy.
• (Oct-Dec 2008) Moreno Falaschi. Professor, University of Siena, Italy.
• (June-Sept. 2008) Vladimiro Sassone. Professor at the University of Soouthampton, UK.
• (June-July 2008) Roberto Bagnara. Professor at the University of Parma, Italy.
• (June-July 2008) Angelo Troina. Assistant Professor, University of Turin, Italy.
• (April-June 2008) Andrea Turrini. PhD student, University of Verona, Italy.
• (Oct. 2007-Jan. 2008) Moreno Falaschi. Professor at the University of Siena, Italy.
• (Oct.-Dec. 2007) Nino Salibra. Professor at the University of Venice, Italy.
• (Sept.-Dec. 2007) Andrea Turrini. PhD student at the University of Verona, Italy.
• (Aug. 2007-Feb. 2008) Troels C. Damgaard. Ph.D. Student at the IT University of Copenhagen.
• (May-July 2007) Cosimo Laneve. Professor at the University of Bologna, Italy.
• (Feb.-Mar. 2007) Sergio Maffeis. PostDoc at Imperial College, UK.
• (Nov. 2006) Diletta Romana Cacciagrano. Assistant Professor at the University of Camerino, Italy.
• (Oct. 2006-Sept. 2007) Robin Milner. Professor at the University of Cambridge, UK. Chair Blaise Pascal.
• (June-July 2006) Moreno Falaschi. Professor at the University of Siena, Italy.
• (Mar.-Sept. 2006) Cinzia Di Giusto. PhD student at the University of Bologna, Italy.
• (Nov.-Dec. 2005) Elaine Pimentel. Associate Professor at the University of Belo Orizonte, Brazil.
• (May-July 2005) Mila Majster-Cederbaum. Professor at the University of Mannheim, Germany.
• (Feb.-April 2005) Maria Grazia Vigliotti. PostDoc at Imperial College, UK.
• (Mar.-July. 2002) Diletta Romana Cacciagrano. PhD student, University of L'Aquila, Italy.
• (Aug.-Dec. 2000) Frank Valencia. PhD student, BRICS, Denmark.
• (July 2000) Mila Majster-Cederbaum. Full Professor, University of Mannheim, Germany.
• (April 2000) Philippa Gardner. Postdoc, Cambridge University, UK.
• (Oct. 1999) François Fages Associate Professor, ENS, France.
• (Nov.1997) David Gilbert. Associate Professor, City University, London.
• (July- Oct. 1997) Julian Ratcke. Postdoc, University of Sussex.
• (Feb. 1996) Eike Best. Full professor, University of Hildesheim.
• (Dec. 1995) Ernesto Pimentel. Associate professor, University of Malaga.
• (Feb. 1995) Davide Sangiorgi. Researcher, INRIA, Sophia Antipolis.
• (Feb. 1995) Eike Best. Full professor, University of Hildesheim.
• (June 1994) Dale Miller. Associate professor, the University of Pennsylvania.
• (May 1994) Phan Minh Dung. Associate professor, The Asian Institute of Technology.
• (April 1994) Frank de Boer. Assistant professor, University of Utrecht.
• (Oct.-Dec. 1993) Ernesto Pimentel. Assistant professor, University of Malaga.
• (Sept 1993) Eike Best. Full professor, University of Hildesheim.
• (May 1993) Jan-Willem Klop Full professor, Free Univ. of Amsterdam and CWI.
• (April 1993) Sten-Åke Tarnlund. Full professor, University of Uppsala.
• (April 1993) Frank de Boer. Postdoc, Free University of Amsterdam.

Recruting of postdocs

• (Mar. 2012- ) Matteo Mio.
• (Nov. 2011- ) Sardaouna Hamadou.
• (Nov. 2011- ) Ehab ElSalamouni.
• (Mar. 2011- ) Marco Giusti.
• (Nov. 2009- ) Miguel E. Andrés.
• (Nov. 2009-Feb 2011) Jérémy Dubreil. Presently he is a research engineer at Monoidics Ltd, UK.
• (Nov. 2009-June. 2010) Filippo Bonchi. Presently he is a CNRS researcher at the ENS Lyon.
• (Nov. 2007-Oct. 2008) Simon Kramer. Presently he is a research fellow at University of Tsukuba, Japan.
• (Mar. 2007-Mar. 2008) Jean Krivine. Presently he is a CNRS researcher at the University of Paris VII.
• (Sept 2006-Nov 2007) Angelo Troina. Presently he is an assistant professor at the Università di Torino, Italy.
• (Sept. 2005-Sept 2007) Peng Wu. Presently he is an associate professor at the Chinese Academy of Science, Peking, China.
• (Sept. 2004-Dec. 2005) Tom Chothia. Presently he is a lecturer at the University of Birgmingham, UK.
• (Aug. 2004-Sept 2005) Jun Pang. Presently he is a research assistant at the University of Luxembourg.