Curriculum Vitae of Catuscia Palamidessi
Personal data
Academic positions pr
Professional activity
Projects and grants
Teaching and educational activity
Service to the department and college
Hosting of international visitors
Recruting
Publications
Back to Catuscia Palamidessi's home page
Last Updated: February 1, 2022.
Family name: Palamidessi
First name: Catuscia
Born: in Fucecchio (FI), Italy, Nov. 11, 1959
Citizenship: Italian
Residence: USA
,
France
Family status: Married, two children
Scientific interests
Privacy and Security. Machine Learning. Fairness. Theory of Concurrency.
Education
Academic positions
-
(From Jan. 2010) 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.
Prizes and Awards
Professional activity
Chair of international conferences
- PC chair of
LICS 2015.
30th Annual ACM/IEEE Symposium on Logic in Computer Science. Kyoto, Japan, 6-10 July 2015.
- PC co-chair of
FORTE 2014.
34th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems. Berlin, Germany, 3-6 June 2014. Co-located with
DisCoTec 2014.
- 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
PPAI-23, the Fourth AAAI Workshop on Privacy-Preserving Artificial Intelligence. Washington DC, USA, 13 February 2023.
- Organizer of the session on security and mobility at the DigiCosme Research Day, 10 July 2013.
-
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
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.
-
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
- (2022-) Chair of SIGLOG, the ACM Special Interest Group on Logic and Computation.
- (2021-) Member of the Board of Trustees of the IMDEA Software Institute.
- (2019-22) Member of the Scientific Advisory Board of ANSSI, the French National Cybersecurity Agency.
- (2019-) Member of the Scientific Advisory Board of CISPA, the Helmholtz Center for Information Security.
- (2016-) Member of the Steering Committee of CONCUR, the International Conference in Concurrency Theory.
- (2015-) Member of the Steering Committee of EACSL, the European Association for Computer Science Logics.
- (2014-22) Member of the Executive Committee of SIGLOG, the ACM Special Interest Group on Logic and Computation.
- (2014-18) Member of the Steering Committee of LICS, the ACM/IEEE Symposium on Logic in Computer Science.
- (2014-18) Member of the Steering Committee of FORTE, the International Conference on Formal Techniques for Distributed Objects, Components, and Systems.
- (2005-20) Member of the Steering Committee of ETAPS, the European Joint Conferences on Theory and Practice of Software.
- (2005-16) 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.
- (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-00)
Member of the Executive Committee of GULP, the Italian Association of Logic Programming.
Member of Scientific Associations
Editorial boards
- (2022-) Member of the Editorial Board of the ACM Transactions on Privacy and Security (TOPS), ACM.
- (2021-22) Member of the Editorial Board of Proceedings on Privacy Enhancing Technologies (PoPETs), De Gruyter.
- (2021-) Member of the Editorial Board of TheoretiCS, a diamond Open Access journal published by Episciences
.
- (2020-) Member of the Editorial Board of the IEEE Transactions on Dependable and Secure Computing. IEEE Computer Society.
- (2020-) Member of the Editorial Board of the Journal of Logical and Algebraic Methods in Programming, Elsevier.
- (2019-) Member of the Editorial Board of the Journal of Computer Security. IOS Press.
- (2017-20) Member of the Editorial Board of Proceedings on Privacy Enhancing Technologies (PoPETs), De Gruyter.
- (2015-) Member of the Editorial Board of Acta Informatica, Springer.
- (2014-21) Member of the Editorial Board of LIPIcs: Leibniz International Proceedings in Informatics, Schloss Dagstuhl –Leibniz Center for Informatics.
- (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-00) Member of the Advisory Board of the Journal of Logic Programming. Elsevier Science (North-Holland).
- (1995-08)
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 Anca Muscholl and Anuj Dawar) of the special issue of
Logical Methods in Computer Science dedicated to selected papers of
ICALP 2017.
- Co-editor (with Franck van Breugel, Josée Desharnais, Radha Jagadeesan, and Ana Sokolova)
of the special issue of Logical Methods in Computer Science
dedicated to Selected Papers of the 27th International Conference on Concurrency Theory (CONCUR 2016).
- Co-editor (with Alexandra Silva and Natarajan Shankar) of the special issue of
Logical Methods in Computer Science
dedicated to selected papers of LICS 2015
and LICS 2016.
- Editor of the proceedings of LICS 2015. Pages 1-764. IEEE Computer Society Press, 2015.
- Co-editor of the special issue of Logical Methods in Computer Science dedicated to selected papers of
DisCoTec 2014.
- Co-editor (with Franck van Breughel, Elham Kashefi and Jan Rutten) of Horizons of the Mind. A Tribute to Prakash Panangaden.
LNCS 8464 Springer, 499 pages, 2014.
- Co-editor (with Erika Ábrahám) of the proceedings of FORTE 2014. LNCS 8461 Springer, 301 pages, 2014.
- Co-editor (with Mark Ryan) of the post-proceedings of TGC 2012, Trustworthy Global Computing.
LNCS 8191 Springer, 213 pages, 2013.
- 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
- FOSSACS 2024.
The 27th International Conference on Foundations of Software Science and Computation Structures.
(Part of ETAPS 2024.)
Luxembourg, 2024.
- CSF 2023. The 36th IEEE Computer Security Foundations Symposium. Dubrovnik, Croatia, July 10 - 14, 2023.
- LICS 2023. The Thirty-Eighth Annual ACM/IEEE Symposium on Logic in Computer Science. Boston, USA, 26–29 June 2023.
- FACS 2022. The 18th International Conference on Formal Aspects of Component Software. Oslo, Norway, 10-11 November 2022.
- Senior PC member of PETS 2022. The 22nd Privacy Enhancing Technologies Symposium.
Sydney, Australia. July 11–15, 2022.
- FORTE 2022. The 42nd International Conference on Formal Techniques for Distributed Objects, Components, and Systems. Lucca, Italy, June 13-17, 2022
- EuroS&P 2022. The 7th IEEE European Symposium on Security and Privacy. Genoa, Italy. June 6-10, 2022.
- CSF 2022. The 35th IEEE Computer Security Foundations Symposium. Co-located with FLoC 2022. Haifa, Israel, August 2022.
- SEFM 2021. The 19th International Conference on Software Engineering and Formal Methods. Virtual conference, 6-10 December 2021.
- VECoS 2021. The 15th International Conference on Verification and Evaluation of Computer and Communication Systems. Beijing, China.
22-23 November 2021.
- ICTAC 2021.
The 18th International Colloquium on Theoretical Aspects of Computing. Nur-Sultan, Kazakhstan, September 6-10, 2021
- CSF 2021. The 34th IEEE Computer Security Foundations Symposium. Dubrovnik, Croatia, 21-25 June 2021.
- FORTE 2021. The 41st IFIP International Conference on Formal Techniques. La Valletta, Malta, 14-18 June 2021.
- AAAI 2021. The 35th AAAI Conference on Artificial Intelligence. Virtual conference, 2-9 February 2021.
- SECURWARE 2020. The 13th International Conference on Emerging Security Information, Systems and Technologies. Valencia, Spain.
November 15-20, 2020.
- CCS 2020. The ACM Conference on Computer and Communications Security. Orlando, USA, November 9-13 2020.
- VECoS 2020. The 14th International Conference on Verification and Evaluation of Computer and Communication Systems. Xi'an, China.
26-27 October 2020.
- SEFM 2020. The 18th International Conference on Software Engineering and Formal Methods. Virtual conference, 14-17 September 2020.
- CSF 2020. The 33rd IEEE Computer Security Foundations Symposium. Boston, MA, USA, June 22-26, 2020.
- PETS 2020.
The 20th Privacy Enhancing Technologies Symposium.
Montréal, Canada, July 14 – 18, 2020.
- FORTE 2020. The 40th IFIP International Conference on Formal Techniques for Distributed Objects, Components, and Systems. University of Malta, Valletta,
June 15-19, 2020.
- FSTTCS 2019. 39th IARCS Annual Conference on
Foundations of Software Technology and Theoretical Computer Science. Indian Institute of Technology Bombay, December 11–13, 2019.
- FACS 2019. The 16th International Conference on Formal Aspects of Component Software. Amsterdam, The Netherlands, 23-25 October 2019.
- PETS 2019.
The 19th Privacy Enhancing Technologies Symposium.
Stockholm, Sweden, July 16 – 20, 2019.
- LICS 2019. The Thirty-Fourth Annual ACM/IEEE Symposium on Logic in Computer Science. Vancouver, Canada, 24–27 June 2019.
- CSF 2019. The 32nd IEEE Computer Security Foundations Symposium. Hoboken, NJ, USA, June 24-27, 2019.
- SAC 2019 (Security track).
The 34th ACM/SIGAPP Symposium On Applied Computing.
Limassol, Cyprus, 8-12 April 2019.
- FACS 2018.
The 15th International Conference on Formal Aspects of Component Software.
Pohang, South Corea, 10-12 October 2018.
- TASE 2018.
The 12th International Symposium on Theoretical Aspects of Software Engineering.
Guangzhou, China, 29-31 August 2018.
- PETS 2018.
The 18th Privacy Enhancing Technologies Symposium.
Barcelona, Spain, 24-27 July 2018.
- FOSSACS 2018.
The 21st International Conference on Foundations of Software Science and Computation Structures.
(Part of ETAPS 2018.)
Thessaloniki, Greece, 14-21 April 2018.
- SOFSEM 2018.
The 44th Annual Int'l Conference on Current Trends in Theory and Practice of Computer Science (track on Foundations of Computer Science).
Krems an der Donau, Austria, 29 January- 2 February, 2018.
- ICTAC 2017.
The 14th International Colloquium on Theoretical Aspects of Computing.
Hanoi, Vietnam, 23-27 October 2017.
- TASE 2017.
The 11th International Symposium on Theoretical Aspects of Software Engineering.
Nice, France, 13-15 September 2017.
- CONCUR 2017.
The 28th International Conference on Concurrency Theory.
Berlin, Germany, 5-8 September 2017.
- CSL 2017.
The 26th EACSL Annual Conference on Computer Science Logic.
Stockholm, Sweden, 20-25 August 2017.
- ICSOFT-PT 2017.
The 12th International Conference on Software Paradigm Trends.
Lisbon, Portugal, 24-26 July 2017.
- ICALP 2017 (Track B).
The 44th International Colloquium on Automata, Languages, and Programming.
Warsaw, Poland, 10-14 July 2017.
- FORTE 2017.
The 37th IFIP International Conference on Formal Techniques for Distributed Objects, Components, and Systems.
Neuchâtel, Switzerland, 19-22 June 2017.
- CSR 2017.
The 12th International Computer Science Symposium in Russia.
Kazan, Russia, 8-12 June 2017.
- ICTAC 2016.
13th International Colloquium on Theoretical Aspects of Computing.
Taipei, Taiwan, 24-31 October 2016.
- LOPSTR 2016.
The 25th International Symposium on Logic-Based Program Synthesis and Transformation.
Edinburgh, Scotland, UK, 6-8 September 2016.
- CONCUR 2016.
The 27th International Conference on Concurrency Theory.
Québec City, Canada, 23-26 August 2016.
- TASE 2016.
The 10th International Symposium on Theoretical Aspects of Software Engineering.
Shanghai, China, 17-19 July 2016.
- MFPS XXXII.
The Thirty-second Conference on the Mathematical Foundations of Programming Semantics.
Carnegie Mellon University, Pittsburgh, USA, 23-26 May 2016.
- ATVA 2015.
The 13th International Symposium on Automated Technology for Verification and Analysis.
Shanghai, China, 12-15 October 2015.
- QEST 2015.
The 12th International Conference on Quantitative Evaluation of SysTems.
Madrid, Spain, 1-3 September 2015.
- LOPSTR 2015.
The 25th International Symposium on Logic-Based Program Synthesis and Transformation.
Siena, Italy, 13-15 July 2015.
-
FORTE 2015.
The 35th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems.
INRIA Grenoble, France, 2-4 June 2015.
-
QEST 2014.
The 11th International Conference on Quantitative Evaluation of Systems. Florence, Italy, 8-12 September 2014.
-
POST 2014.
The 3rd Conference on Principles of Security and Trust.
(Part of ETAPS 2014.)
Grenoble, France, 5-13 April 2014.
-
ICALP 2013.
Track B. The 40th International Colloquium on Automata, Languages and Programming. Riga, Latvia, 8-12 July 2013.
-
CSF 2013.
The 26th IEEE Computer Security Foundations Symposium. Tulane University, New Orleans, Louisiana, USA, 26-28 June 2013.
-
LICS 2013.
The 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.
(Part of ETAPS 2012.)
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 1999.)
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.
(Part of ETAPS 1998.)
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
- SDS 2023. The 10th IEEE Swiss Conference on
Data Science. Zurich, Switzelrland, June 22 – 23, 2023.
-
WIL 2023.
The 7th Women in Logic Workshop. Rome, Italy, June 1st , 2023.
- FTSCS 2022. The 8th International Workshop on Formal Techniques for Safety-Critical Systems.
Auckland, New Zealand, December 7, 2022.
- PPAI 2022.
The 3rd AAAI Workshop on Privacy-Preserving Artificial Intelligence. Online. February 28, 2022.
- CIRM Logic and Interaction thematic month: Logical Foundations of Probabilistic Programming.
Lineal Logic International Research Network. Luminy, France. Spring 2022.
-
WPES 2021.
20th Workshop on Privacy in the Electronic Society.
Virtual. November 15, 2021.
-
TPDP 2021.
Theory and Practice of Differential Privacy. Workshop affiliated with ICML 2021.
Virtual. 23 July 2021.
- PPML 2021.
Privacy Preserving Machine Learning - Virtual ACM CCS Workshop
November 19, 2021.
- PPAI 2021.
The 2nd AAAI Workshop on Privacy-Preserving Artificial Intelligence. Online. February 8-9, 2021.
- DS3,
The fourth Data Science Summer School. Online.
January 4-9, 2021.
- PPML 2020.
Privacy Preserving Machine Learning - PriML and PPML Joint Edition. Online. December 11th, 2020.
- DIP 2020.
Recent Developments of the Design and Implementation of Programming Languages. Online. November 27th, 2020.
- HotSpot 2020.
Hot Issues in Security Principles and Trust. Online. September 7th, 2020.
- EXPRESS/SOS 2020.
Combined 27th International Workshop on Expressiveness in Concurrency and 17th Workshop on
Structural Operational Semantics. Vienna, Austria, August 31, 2020.
- APVP 2020. 11ème édition de l'Atelier sur la Protection de la Vie Privée.
Saint-Martin-de-Londres. June 24-26, 2020.
- TML 2020.
Towards Trustworthy ML: Rethinking Security and Privacy for ML. Addis Ababa, Ethiopia, April 26, 2020.
- PPAI 2020.
The AAAI Workshop on Privacy-Preserving Artificial Intelligence. New York, USA, February 7, 2020.
-
PPML 2019.
Privacy Preserving Machine Learning (ACM CCS 2019 Workshop).
London, UK, November 15, 2019.
-
WPES 2019.
Workshop on Privacy in the Electronic Society.
London, UK, November 11, 2019.
-
APVP 2019.
Atelier sur la Protection de la Vie Privée. Cap Hornu, France, July 9-11, 2019.
-
WIL 2019.
3rd Women in Logic Workshop. Cap Hornu, France, Vancouver, Canada, June 23, 2019.
-
PPML 2018.
Privacy Preserving Machine Learning (NeurIPS 2018 Workshop).
Montréal, Canada, 8 December 2018.
-
APVP 2018.
Atelier sur la Protection de la Vie Privée.
Porquerolles, France,
3-6 juin 2018.
-
FCS 2016.
Workshop on Foundations of Computer Security.
Lisbon, Portugal, June 2016.
-
PhDs in Logic VIII.
Technische Universität Darmstadt, Germany, 9-11 May 2016.
-
WPES 2015.
Workshop on Privacy in the Electronic Society.
Denver, Colorado, USA, October 2015.
-
TPDP 2015.
Theory and Practice of Differential Privacy
London, UK, April 2015.
-
QASA 2013.
2nd International Workshop on Quantitative Aspects in Security Assurance.
University of London, September 2013.
-
TGC 2013.
The 8th International Symposium on Trustworthy Global Computing. Buenos Aires, Argentina, 30-31 August 2013.
-
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 speaker at international conferences
-
FLOC 2022.
Keynote speaker at the Federated Logic Conference. Haifa, Israel, July-August 2022.
-
CONCUR 2020.
The 31st International Conference on Concurrency Theory
Vienna, Austria, September 1-4, 2020.
-
CSL 2018.
The 27th Computer Science Logic Annual Conference. Birmingham, UK,
4–7 September 2018.
-
CSF 2018.
The 31st IEEE Computer Security Foundations Symposium, Oxford, UK, 9-12 July 2018.
-
FACS 2017.
The 14th International Conference on Formal Aspects of Component Software. Barga, Portugal. 10-13 Oct, 2017.
-
DISCOTEC 2016 (Keynote speaker).
The 11th International Federated Conference on Distributed Computing Techniques.
Crete, Greece, 6-9 June 2016.
-
ICTAC 2015
The 12th International Colloquium on Theoretical Aspects of Computing. Cali, Colombia, October 2015.
-
ETAPS 2015 (Unifying speaker)
The eighteenth European Joint Conferences on Theory and Practice of Software edition. London, UK. April 2015.
-
ICDCIT-2015
The 11th International Conference on Distributed Computing and Internet Technology. Bhubaneswar, India, February 2015.
-
CONCUR 2014 and TGC 2014 (Joint keynote speaker)
The 25th Conference on Concurrency Theory and the 9th International Symposium on Trustworthy Global Computing. Rome, Italy, September 2014.
-
Petri Nets 2013.
34th International Conference on
Application and Theory of Petri Nets and Concurrency, Milano, Italy, June 2013.
-
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
- AFCP 2022. The NeurIPS workshop on Algorithmic Fairness through the Lens of Causality and Privacy. New Orleans, USA, December 3, 2022.
- PPAI 2020.
The AAAI Workshop on Privacy-Preserving Artificial Intelligence. New York, USA, February 7, 2020.
-
PROOFS 2018 (Keynote speaker). The 7th International Workshop on Security Proofs for Embedded Systems. Amsterdam, The Netherlands, 13 September 2018.
-
PiMLAI 2018 Privacy in Machine Learning and Artificial Intelligence
(FAIM 2018 Workshop). Stockholm, Sweden, 15 July 2018.
-
Women in Logic 2017, Reykjavik, Island, June 2017.
-
FORSE 2017 (Keynote speaker). 1st International Workshop on FORmal methods for Security Engineering. Porto, Portugal.
19--21 February, 2017.
-
QAPL 2015.
The Thirteenth International Workshop on Quantitative Aspects of Programming Languages and Systems.
London, UK, 11--12 April 2015.
-
NWPT 2014.
The 26th Nordic Workshop on Programming Theory. Halmstad, Sweden
October 2014.
-
WOLLIC 2013.
The Workshop on Logic, Language, Information and Computation. TU Darmstadt, Germany. August 2013.
- 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
-
Federated Learning and Privacy-Preserving Machine Learning. Société Française de Statistique. Virtual workshop. 24 November 2020.
-
Safety and AI. DATAIA Workshop. Palaiseau, France, September 2019.
-
Bernoulli Symposium.
Opening Symposium of the new institute for Artificial Intelligence, Mathematics, and Computer
Science of the University of Groningen. Groningen, The Netherlands, 1 November 2018.
-
JNIM 2018.
Journées Nationales 2018 du GDR Informatique Mathématique (Journée du 6 Avril en Hommage \`a Maurice Nivat).
Palaiseau, France,
3-6 April 2018.
-
Cybersecurity 2017. Focus Day on Cyber Security and Helthcare. In the context of the European Cyber Week. Rennes, France, 30 November 2017.
-
Journée sur la Securité, la Sureté et la Confidentialité. Organized by Paris VII, Paris XIII and Systematic. Paris, 10 May 2016.
- 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
- Talk on Differential Privacy at the Collège de France. 24 March 2022.
-
Journées Nationales du GDR Sécurité Informatique. Paris, France, June 2019.
- MFPS XXXV, special session on Probabilistic Programming. London, UK, June 2019.
- AI & Society: From principles to practice. CIFAR-UKRI-CNRS workshop. London, UK, June 2019.
- 5th France-Japan Cybersecurity workshop}.
Kyoto, Japan, April 2019.
-
QuaSy 2017.
Quantitative Systems: Theory and Applications. Como, Italy, 16-17 October 2017.
-
CrossFyre 2017
Workshop on Cryptography, Robustness, and Provably Secure Schemes for Female Young Researchers. Paris. April 2017.
-
Uncertainty in Computation. Simons Institute, Berkeley, USA, 4--7 October 2016.
-
ZISC Workshop 2016 Big Data Security and Privacy. Zurich, September 23, 2016.
-
Dagstuhl seminar on Challenges and Trends in Probabilistic Programming. Schloss Dagstuhl, Germany, 26-30 April 2015.
-
Dagstuhl seminar on Information Flow and Its Applications.
Schloss Dagstuhl, Germany, 26-31 August 2012.
-
COW 2012.
The 19th CREST Open Workshop on 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. Båstad, 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.
Invited panelist
Dissemination and transfer of of scientific knowledge
- Invited speaker at EMW 2023, the ETAPS Mentoring Workshop. This workshop aims at encouraging graduate students and senior undergraduate students to pursue careers in programming language research, and at educating them on the research career. 23 April 2023
- Invited speaker at the First Webinar of the Hi! PARIS: Center on AI and Data Analytics for Science, Business and Society. The topic of this webinar is AI Bias and Privacy issues. 15 January 2021.
- Ambassador for The Logic Day and speaker at the round table La logica: pensiero, scienza e società. 14 January 2021.
- (2020-) Animation of the DATAIA Expert Group on Digital Trust. The objective of this EG is to set up projects and initiatives of various kind aimed at facilitating the development of practical solutions for the application of the GDPR, with particular focus on differential privacy and homomorphic encryption.
- Invited speaker at PLMW@POPL 2019, the Programming Logic Mentoring Workshop 2019 (affiliated to POPL 2019). This workshop aims at encouraging graduate students and senior undergraduate students to pursue careers in programming language research, and at educating them on the research career.
-
Participation in the round table at the FLOC Women in Logic workshop, a workshop organized to encourage women's presence in the logic community. Oxford, UK, 8 July 2018.
-
Participation in the activities of Women in Logic. Reykjavik, Island, June 2017.
-
Participation in the round table at the Logic Mentoring Workshop, an event organized to help young researchers to understand the technical and practical aspects of pursuing a career in academy. Reykjavik, Island, June 2017.
-
Participation in a round table at CrossFyre 2017 to discuss initiatives to promote the access of women to research and academic career in Computer Science. Paris, April 2017.
-
Organization of a round table Security and Privacy: challenges of the future digital society at the
Forum STIC,
University of Paris-Saclay, December 2014.
- Organizer of the session on "Safe and reusable distributed programs" at the Digicosme Research Day. 10 July 2013.
- (2013-15) Coordinator for the Task 1: "Safe and reusable distributed programs" of the Axis Scilex ("Software Reliability and Security") of the Excellence lab DigiCosme.
-
Participation in the Forum des Jeunes Mathématiciennes 2013, and talk on Quantitative Aspects in Information Protection.
Lyon, 13-15 Nov. 2013.
Advising boards and referee activity
- (2023) Member of the committee for a faculty position at the ETH Zurich, Switzerland.
- (2023) Member of the committee for a professor position at the INSA Lyon, France.
- (2022-23) Member of the committee for the UK-US Prize Challenge on Advancing Privacy-Preserving Federated Learning. Sponsored by NIST and NSF.
- (2022) Member of the review panel for the Italian Ministry of Universities and Research research grants.
- (2022) Member of the review panel for the Swiss National Science Foundation advanced grants.
- (2022) Member of the review panel for the Estonian Research Council grants.
- (2022) Member of the review panel for the Swedish Research Council consolidator grants.
- (2022) Member of the committee for the CCS Test-of-Time Award.
- (2022) Member of the committee for a professor position at the Université Sorbonne Paris Nord, France.
- (2022) Member of the committee for a professor position on Cyberdefense at the École Nationale Supérieure d'Ingénieurs de Bretagne Sud (ENSIBS), France.
- (2021) Panel member for the evaluation of projects submitted to the call HORIZON-CL3-2021-CS-01 “Increased Cybersecurity.
- (2021) Evaluator of projects for the calls PRIN 2020 and FARE 2020 of the
Italian Ministry of University and Research.
- (2021) Member of the jury for the CONCUR Test-of-Time Award.
- (2021) Vice-president of the jury for the CNIL-Inria Privacy Award.
- (2021-) President of the Commission Scientifique of INRIA Saclay.
- (2021) Member of the CORE conference ranking committee for the area "Cybersecurity and Privacy" in the 2021 round of CORE conference rankings.
- (2021) Evaluator for the applications to the Austrian Science Fund (FWF) Special Research Programmes.
- (2021) Evaluator for the applications to the AXA Chair program: Foundations of Experimental CyberSecurity and Digital Risks.
- (2020-21) Vice-president of the Commission Scientifique of INRIA Saclay.
- (2020-22) Member of the EAPLS PhD Award Committee.
- (2020) Member of the KON-NT panel for natural and engineering sciences, Sweden.
- (2020) Member of the committee for a professor position at the Scuola Normale Superiore, Pisa.
- (2020) Member of the committee for a professor position at the CS department of the University of Pisa.
- (2020) External Member of the committee for the promotion to full professor of Prof. Kévin Huguenin. HEC Lausanne, Switzerland.
- (2019) Member of the panel for the Research Evaluation for Development 2019 (RED19) of the Department of Computer Science and Engineering at the University of Gothenburg, Sweden.
- (2019) Member of the committee for associate professor positions in the Datalogi Dept., Aalborg Univ., Denmark.
- (2018) Chair of the Nominating Committee for the 2019 renewal of the office holders of SIGLOG, the ACM Special Interest Group on Logic and Computation.
- (2018) Member of the evaluation panel for the SU-ICT-03-2018: “Dynamic countering of cyber-attacks” - H2020 Work Programme 2018-2020.
- (2018) Member of the evaluation panel for the program IKTPLUSS on Digital Security, Research Council of Norway.
- (2015-19) Member of the committee for the Alonzo Church Award for Outstanding Contributions to Logic and Computation. In 2018 Palamidessi is the president of this committee.
- (2014) Member of the committee for the ACM SIGSAC Doctoral Dissertation Award for Outstanding PhD Thesis in Computer and Information Security.
- (2014) Member of the WWTF jury – selection committee for a tenure-track position at the Faculty of Informatics at the Vienna University of Technology.
- (2013) Member of the committee for the Ackermann Award 2013 : The EACSL outstanding dissertation award for logic in Computer Science.
- (2013-16) Member of the Swedish Research Council Committee for Computer Science, 2013. The main duty of this committee is to evaluate and select the grant applications.
- (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.
- (2010-15) Member of the EAPLS PhD Award Committee.
- (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 the 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.
- (2007-15) 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-18) President of the selection committee for the EATCS Best Paper Award at the ETAPS conferences.
- (2006-09) Member 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 project proposals 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
- (2022-25) PI in the HORIZON-RIA CoE ELSA, the European Lighthouse on Secure and Safe AI, coordinated by Mario Fritz (CISPA). The consortium includes several participants from Academy and Industry from various European countries.
- (2022-28) PI in iPOP, the PEPR Cybersecurity interdisciplinary Project on Privacy, coordinated by Vincent Roca. The consortium includes several participants from France.
- (2022-26) PI in FedMalin, the Inria Challenge on FEDerated MAchine Learning over the INternet, coordinated by Aurélien Bellet. The consortium includes several participants from France.
-
(2020-24) PI of the project CRYPTECS: Cloud-Ready Privacy-Preserving Technologies. Joint ANR-BMBF French-German Call on Cybersecurity.
(See the German website here.)
The project aims at building an open source cloud platform promoting the adoption of privacy-preserving computing (PPC) technology by offering a broad spectrum of business-ready PPC techniques (Secure Multiparty Computation, Homomorphic Encryption, Trusted Execution Environments, and methods for Statistical Disclosure Control, in particular Differential Privacy) as reusable and composable services. Besides Inria (COMETE), the other partners are: the Orange Group (France), the Bosh Group (Germany), the university of Stuttgart (Germany), and two SME’s: Zama (a spin-off of CryptoExperts, France) and Edgeless Systems (Germany).
- (2019-24) PI of the project HYPATIA: Privacy and Utility Allied. Funded by an ERC Advanced Grant.
The objective of this project is to develop the theoretical foundations, methods and tools to protect the privacy of the individuals while letting their data to be collected and used for statistical purposes. We aim in particular at developing mechanisms that can be applied and controlled directly by the user thus avoiding the need of a trusted party, are robust with respect to combination of information from different sources, and provide an optimal trade-off between privacy and utility.
- (2019-22) Co-PI (with Pablo Piantanida, Centrale Supélec) of the project LOST2DNN :Leakage of Sensitive Training Data from Deep Neural Networks. Funded by the DATAIA Institute. The goal of this project is to develop a fundamental understanding with experimental validation of the information-leakage of training data from deep learning systems. More specifically, we aim at:
(a) Developing a compelling case study based on state-of-the-art algorithms to perform model inversion attacks, showcasing the feasibility of uncovering specified sensitive information from a trained software (model) on real data.
(b) Quantifying information leakage: Based on the uncovered attacks, the amount of sensitive information present in trained software will be measured or quantified. The resulting measure of leakage will serve as a basis for the analysis of attacks and for the development of robust mitigation techniques.
(c) Mitigating the information leakage: we will explore strategies to avoid the uncovered attacks and minimize the potential information leakage of a trained model.
- (2018-19) PI of the project Privacy-Friendly Data Analytics funded by the
Siebel Energy Institute. The objective of this project is to develop methodologies for protecting the privacy of individuals while letting their data be collected and used for analytical purposes.
- (2018-19) Project Coordinator of the STIC project SUPREME: Statistical-Utility Preserving Methods for Privacy Protection
Other PI's: Serge Haddad, ENS Cachan.
The objective of this project is to develop the theoretical foundations, methods and tools
to protect the privacy of the individuals under certain requirements.
We aim in particular at developing mechanisms that: (1) are robust with respect to combination of information from different
sources, (2) can be applied directly by the user, thus avoiding the need of a trusted party, and (3) provide an optimal trade-off
between privacy and utility.
- (2016-20) Project Coordinator of the ANR project REPAS: Reliable and Privacy-Aware Software Systems
via Bisimulation Metrics. Partners: INRIA Saclay, EPI Comète (p.i. Catuscia Palamidessi),
INRIA Sophia Antipolis EPI Focus University of Bologna (p.i. Ugo dal Lago), ENS Paris (p.i. Vincent Danos), ENS Lyon (p.i. Filippo Bonchi).
In this project, we aim at investigating quantitative notions and tools for proving program correctness and protecting privacy. In particular, we will focus on bisimulation metrics, which are the natural extension of bisimulation on quantitative systems. As a key application, we will develop a mechanism to protect the privacy of users when their location traces are collected.
- (2016-18) Project Coordinator of the DIGICOSME project OPTIMEC: Optimal Mechanisms for Privacy Protection. Other PI's: Serge Haddad, ENS Cachan.
In this project we investigate classes of utility and privacy measures, and devise methods to obtain optimal mechanisms with respect to the trade-off between utility and privacy. In order to represent the probabilistic knowledge of the adversary and of the user, and the fact that mechanisms themselves can be randomized, we consider a probabilistic setting. We focus, in particular, on measures that are expressible as linear functions of the probabilities.
- (2016) Contract with Renault R&D on Protection techniques for location data. The goal of this project was to produce a survey of the state of the art on methods for protecting location data, and a prototype based on our geo-indistinguishability approach for privacy protection in the context of “connected cars”. This project funded the internship of Anna Pazii.
- (2013-16) Project Coordinator of the INRIA-Microsoft Research Lab project Privacy-Friendly Services and Apps This was a project sponsored by Microsoft Research Lab, with various partners at Microsoft Cambridge and at INRIA.
- (2012-16) PI of the node at INRIA Saclay for the ISN: Institute de la Societé Numerique. This was an Interdisciplinary project aiming at bringing together experts in economy and in computer science.
- (2013-2016) Responsible of the French teams for the FP7 project MEALS: Mobility between Europeand Argentina applying Logic to Systems.
This project was financed by the FP7 Marie Curie's IRSES program.
Partners: Saarland University, Germany. INRIA Saclay, Rennes, Lille and Sophia Antipolis, France. Rheinisch-Westfälische Technische Hochschule Aachen, Germany.
Technische Universität Dresden, Germany. 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.
- (2013-2016.) DRI project PRINCESS:
Protecting privacy while preserving data access.
Teams involved:
INRIA Saclay, France (p.i. C. Palamidessi),
Florida International University, USA (p.i. G. Smith),
Macquaire University, Australia (p.i. Annabelle McIver),
NICTA, Australia (p.i. Carroll Morgan), and
University of Pennsylvania, USA (p.i. A. Scedrov).
- (2013-2016) ANR International project PACE,
Beyond plain Processes: Analysis, Coinduction and Expressiveness.
This project is financed by the ANR.
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).
- (2011-2015) ANR International project LOCALI:
Logical Approach to Novel Computational Paradigms.
This project is financed by the ANR.
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).
- (2011-2015)
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 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.
- (2009-2013) ANR project PANDA,
Analysis of Parallelism and Distribution.
This project is financed by the ANR.
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).
- (2009-2013) ANR project CPP:
Confidence, Proof and Probabilities.
This project is financed by the ANR.
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).
- (2006-2009 and 2009-2011) 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).
- (2007) 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).
- (2006-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).
- (2005-2006) 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).
- (2003-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).
- (2000-2002) Principal investigator of a NSF-POWRE project on Probabilistic methods in Concurrency.
Funded by National Science Foundation.
- (1999 -2002) U.S.-France Cooperative Research on Logic-Based
Specification and Verification Tools for Concurrent Languages.
Funded by the NSF and the French CNRS.
The Principal Investigators of this project were François Fages
(ENS), Dale Miller
and Catuscia Palamidessi (PSU).
(1993-1996) 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).
- (1994-1996)
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.
- (1994-1996)
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.
- (1994)
Università di Genova
- Free University
of Amsterdam on Concurrent Constraint and Logic Programming. Funded
by the Italian CNR for one year (1994).
- (1994)
Cooperation Università di Genova
- Università di Pisa
- Università di Bologna
on Coordination Languages. Funded by the Italian CNR for one year.
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.
-
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
- (2023-) Ramon Gonze. IPP. Co-supervised with Mario Alvim, Federal University of Minas Gerais. Thesis subject: Bayesian guarrantees of differential privacy.
- (2022-) Andreas Athanasiou. IPP. Co-supervised with Kostantinos Chatzikokolakis, University of Athens. Thesis subject: The shuffle model for d-privacy.
- (2021-) Karima Makhlouf. IPP.
Thesis subject: Relation between privacy and fairness in machine learning.
- (2020-) Ruta Binkite-Saudaskiene. IPP. Co-supervised with Frank Valencia.
Thesis subject: Fairness and Privacy in machine learning: interdisciplinary approach.
- (2020-) Sayan Biswas. IPP.
Thesis subject: On the tradeoff between Local Differential Privacy and Statistical Utility.
- (2020-) Carlos Pinzon. IPP. Co-supervised with Pablo Piantanida and Frank Valencia.
Thesis subject: On the tradeoff between Privacy and Fairness in Machine Learning.
- (2019-) Federica Granese. IPP and Università di Roma "La Sapienza". Co-supervised with Daniele Gorla and Pablo Piantanida.
Thesis subject: Security in Machine Learning.
- (2019-) Ganesh Del Grosso Guzman. IPP. Co-supervised with Pablo Piantanida. Thesis subject: Privacy in Machine Learning.
- (2018-21) Santiago Quintero Pabón. IPP. Co-supervised with Frank Valencia. Thesis subject: Algebraic Structures for Distributed Information and Polarization in Multi-Agent Systems.
- (2018-21) Natasha Fernandez. IPP and University of Maquaire. Co-supervised with Annabelle McIver. Thesis subject: Privacy Protection Methods for Textual Documents.
-
(2017-20) Marco Romanelli. IPP and Università di Siena.
Co-supervised with Moreno Falaschi, University of Siena, Italy. Thesis subject: Machine Learning and Private Information Flow. After the thesis defense Marco took a postdoc position at Centrale Supélec, France.
-
(2014-17) Michell Guzmán. UPS. Co-supervised with Frank Valencia. Thesis subject: Spacial Concurrent Constraint Programming. After the thesis defense Michell became a teaching assistant at the University of Cali, Colombia.
-
(2012-15) Marco Stronati. Ecole Polytechnique. Grant EDX Monge. Co-supervised with Konstantinos Chatzikokolakis, Ecole Polytechnique. After the thesis defense Marco got a postdoc position with Vitaly Smatikov, University of Cornell, USA.
-
(2011-15) 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. After the thesis defense Lili became a research fellow at the Chinese Academy of Science.
-
(2011-14) Nicolás Bordenabe. Ecole Polytechnique. Grant INRIA/DGA. Co-supervised with Konstantinos Chatzikokolakis, Ecole Polytechnique. His thesis obtained the prestigious ACM SIGSAC Doctoral Dissertation Award for Outstanding PhD Thesis in Computer and Information Security, and the Prix de Thèse of Polytechnique. After the thesis defense Nicolás got a position at Booking.com in Amsterdam, The Netherlands.
-
(2011-14) Luis Fernando Pino Duque. Ecole Polytechnique. Grant INRIA/DGA. Co-supervised with Frank D. Valencia, Ecole Polytechnique. After the thesis defense Luis got a position at Google in Berlin, Germany.
-
(2010-13) Sophia Knight. Ecole Polytechnique. Grant INRIA/CORDIS. Co-supervised with Frank D. Valencia, Ecole Polytechnique.
Her thesis obtained the Prix de Thèse of Polytechnique. After the thesis defense Sophia got a postdoc position in Nancy, France, and at the University of Uppsala, Sweden.
-
(2009-12) Andrés Aristizábal. Ecole Polytechnique. Grant CNRS/DGA. Co-supervised with Frank D. Valencia, Ecole Polytechnique.
After the thesis defense he got a teaching position at the Universidad Javeriana, Cali, Colombia.
-
(2009-13) Ivan Gazeau. Ecole Polytechnique. Grant ANR. Co-supervised with Dale Miller, Ecole Polytechnique, Paris. After the thesis he got a postdoc position at the University of Birgmingham, UK.
-
(2008-11)
Mario Alvim.
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, and then a tenior track faculty position at the University of Mina Gerais, Brazil.
-
(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. After the thesis defense Miguel got a position at Google Mountain View.
-
(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 and Università di Bologna. 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 got 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-07) Konstantinos Chatzikokolakis.
Ecole Polytechnique. Grant Ministère/BDX, since 1 October 2004 until 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. Afterwards he got a position as a CNRS researcher.
-
(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.
-
(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.
Afterwards she got a position at the
Università di Verona as an Assistant Professor.
Supervision of other students
- Supervisor of master students and interns:
- Simon Sebastian, Bacelor student, IPP, France. From May 2022 until August 2022.
- Cesara Petrui, Bacelor student, IPP, France. From May 2022 until August 2022.
- Filippo Galli, PhD student, ENS Pisa, Italy. From Sept 2021 until March 2022.
- Lucas Bouju, Master student, ENSAI, France. From Mar 2020 until Sep 2020.
- Sayan Biswas, Master student, Univ. of Bath, UK. From Jun 2019 until Sep 2019.
- Noemie Fong, Master student, ENS Paris. Jan-Feb 2019.
- Federica Granese, Univ. Od Rome ``La Sapienza'', Italy. From Mar 2019 until Jun 2019.
- Boammani Lompo, ENS Rennes. From May 2019 until Jul 2019.
- Haoteng Yin. Academy for Advanced Interdisceplinary Studies, Peking University. From June 2018 until Sept 2018.
- Kacem Kefki. University of Paris Saclay. From June 2018 until July 2018.
- Arthur Américo. Universidade Federal de Minas Gerais. From April 2018 until June 2018.
- Noémie Fong. ENS Paris. From April 2018 until Sept 2019.
- Pedro Bahamondes. Ecole Polytechnique. From Sept 2017 until March 2018.
- Joaquin Felici. Univ. of Cordoba. From Sept 2017 until Jan 2018.
- Georgi Dikov. Tech. Univ. of Munich. From Sept 2017 until Nov 2017.
- Anna Pazii. Univ. of Kiev. From July 2016 until Jan 2017.
- Thomas Ragel. ENS Lyon. From May 2016 until Aug 2016.
- Timofii Prokopenko. Univ. of Kiev. From May 2016 until Aug 2016.
- Susheel Suresh. Ecole Polytechnique. From May 2016 until Aug 2016.
- Valeria Vignudelli. Univ. of Bologna, Italy. From March 2016 until July 2016.
- Joris Lamare. ENS Cachan. From Sept 2014 until May 2015.
- Xiao Wang. Ecole Polytechnique. From May 2013 until Aug 2013.
- 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 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.
- (Feb 2023-) Selene Cerna.
- (Jan 2023-) Szilvia Lestyan.
- (Feb 2022-) Héber Arcolezi.
- (Aug 2021-) Sami Zhioua.
- (Jan 2021- Dec 2022) Hamid Jalalzai.
- (Nov 2020-) Gangsoo Zeong (aka Kangsoo Jung).
- (Jan 2018-Mar 19) Valentina Castiglioni. Afterwards she took a postdoc position at the University of Reykjavik, Island.
- (July 2017-Ago 18) Ali Kassem. Afterwards he took R&D engineer position at INRIA Grenoble.
- (Oct 2015-Nov 16) Ehab ElSalamouny. Afterwards he took an associate professor position at Suez Canal University, Egypt.
- (Oct 2013-Apr 15) Yusuke Kawamoto. Afterwards he took research scientist position at AIST, Japan.
- (Oct 2013-Oct 14) Thomas Given-Wilson. Afterwards he took a postdoc position at INRIA Rennes.
- (Oct 2013-Nov 13) Tobias Heindel. Afterwards he took a research associate position at the University of Edinburgh, UK.
- (Mar 2012-Feb 13) Matteo Mio. Afterwards he took a CNRS research position at ENS Lyon, France.
- (Nov 2011-Nov 13) Sardaouna Hamadou. Afterwards he took a position at the Ecole Polytechnique of Montreal, Canada.
- (Nov 2011-Oct 12) Ehab ElSalamouny. Afterwards he took an associate professor position at Suez Canal University, Egypt
- (Mar 2011-Feb 12) Marco Giusti. Afterwards he took a postdoc position at the University of Lisbon, Portugal.
- (Nov 2010-Oct 12) Miguel E. Andrés. Afterwards he took a position at Google Mountain View, USA.
- (Nov 2009-Feb 11) Jérémy Dubreil. Afterwards he took a software engineer position at Facebook UK.
- (Nov 2009-June 10) Filippo Bonchi. Afterwards he took a CNRS research position at the ENS Lyon.
- (Nov 2007-Oct 08) Simon Kramer. Afterwards he took a research fellow position at University of Tsukuba, Japan.
- (Mar 2007-Mar 08) Jean Krivine. Afterwards he took a CNRS research position at the University of Paris VII.
- (Sep 2006-Nov 07) Angelo Troina. Afterwards he took an assistant professor position at the Università di Torino, Italy.
- (Sep 2005-Sep 07) Peng Wu. Afterwards he took an associate professor position at the Chinese Academy of Science, Peking, China.
- (Sep 2004-Dec 05) Tom Chothia. Afterwards he took a lecturer position at the University of Birgmingham, UK.
- (Aug 2004-Sep 05) Jun Pang. Afterwards he took a research assistant position at the University of Luxembourg.
Examiner for habilitation thesis
- Auréelien Bellet (Inria Lille, France).
Title of the thesis: Contributions to Decentralized and Privacy-Preserving Machine Learning. Defended on November 30, 2021.
- David Baelde (LSV, ENS Saclay, France). Tite of the thesis: Contributions to the Verification of Cryptographic Protocols. Defended on February 10, 2021.
- Elham Kashefi (LIP6, CNRS, France). Title of the thesis: Verification of Quantum Computing. Defended on February 8, 2018.
- 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.
Member of advisory boards for PhD programs and thesis
- (2022-24) Member of the advising committee for Martina Cinquini, PhD student supervised by Salvatore Ruggieri, University of Pisa, Italy.
- (2012-) External member of the scientific council for the PhD in Computer Science at the University of Pisa, Italy.
- (2020-) Member of the advising committee of Abhishek Sharma, PhD student supervised by Maks Ovsjanikov, IPP, France.
- (2014-18) Member of the advising committee for Hamid Ebadi, PhD student supervised by David Sands, Chalmers University, Sweden.
Also reviewer and member of the committee for the half-way thesis defense (Licentiate) that took place in June 2015.
- (2014-18) Member of the advising committee for the PhD thesis of Jun Wang (PhD student supervised by Qiang
Tang and Peter Ryan), University of Luxembourg.
- (2014-16) Member of the advising committee for the PhD thesis of Andrea Margheri (PhD student supervised by
Rosario Pugliese), University of Florence, Italy.
Examiner of PhD thesis
- Guilherme Alves (LORIA, France). Member of the committee board at the PhD defense. Title of the thesis: Hybrid Approaches for Algorithmic Fairness. Advised by Miguel Couceiro and Amedeo Napoli. Defended in December 2022.
- Elli Anastasiadi (Reykjavik University, Island). Member of the committee board at the PhD defense. Title of the thesis: Runtime and Equational Verification of Concurent Systems. Advised by Luca Aceto and Anna Ingólfsdóttir. Defended in October 2022.
- Arthur Américo (Queen Mary University of London, UK). PhD thesis reviewer and member of the committee at the PhD defense. Title of the thesis: From Quantitative Information Flow to Information Theory and Quantum Leakage. Advised by Pasquale Malacaria. Defended in September 2022.
- Vincent Grari (University of Sorbonne, France). Member of the committee at the PhD defense. Title of the thesis: Adversarial mitigation to reduce unwanted biases in machine learning. Advised by Marcin Detyniecki and Sylvain Lamprier. Defended in June 2022.
- Changmin Wu (IPP, Palaiseau). Member of the committee at the PhD defense. Title of the thesis: Graph Representation Learning: from Kernels to Neural Networks. Advised by Michalis Vazirgiannis. Defended in November 2021.
- Itsaka Rakotonirina (LORIA, Nancy). Member of the committee at the PhD defense. Title of the thesis: Efficient verification of observational equivalences of cryptographic processes: theory and practice. Co-advised by Steve Kremer and Vincent Cheval. Defended in February 2021.
- Sammy Khalife (IPP, Palaiseau). President of the committee at the PhD defense. Title of the thesis: Graphs, geometry and representations for language and networks of entities. Supervised by Michalis Vazirgiannis. Defended in June 2020.
- Mohamed Maouche (INSA, Lyon). PhD thesis reviewer and member of the committee at the PhD defense. Title of the thesis: Protection against Re-identification Attacks in Location Privacy. Defended in November 2019.
- Raphaëlle Crubrillé (IRIF, Université Paris Diderot). Member of the committee at the PhD defense. Title of the thesis: Distances comportementales pour les programmes probabilistes d'ordre supérieur. Defended in June 2019.
- Vittoria Nardone (University of Sannio, Italy). PhD thesis reviewer. Title of the thesis: Formal Methods for Android Applications. Supervised by Antonella Santone. Defended in January 2019.
- Antoine Dallon (ENS Paris-Saclay). PhD thesis reviewer and member of the committee at the PhD defense. Title of the thesis: Verification of indistinguishability properties in cryptographic protocols - Small attacks and efficient decision with SAT-Equiv. Supervised by Veronique Cortier and Stephanie Delaune. Defended on November 26, 2018.
- David Mestel (University of Oxford). PhD thesis reviewer and member of the committee at the PhD defense. Title of the thesis: Quantifying information flow. Supervised by Bill Roscoe. Defended on October 26, 2018.
- Jun Wang (University of Luxembourg). PhD thesis reviewer and member of the committee at the PhD defense. Title of the thesis: Privacy-preserving recommender systems facilitated by machine learning approach. Supervised by Qiang Tang and Peter Ryan. Defended on October 19, 2018.
- Hamid Ebadi (Chalmers University, Sweden). Member of the committee at the PhD defense. Title of the thesis: Dynamic Enforcement of Differential Privacy. Supervised by David Sands. Defended on March 5, 2018.
- Nicolas Bonifas (Ecole Polytechnique, France). Member of the committee at the PhD defense. Title of the thesis: Geometric and Dual Approaches to Cumulative Scheduling.
Supervised by Philippe Baptiste. Defended in December 2017.
- Maggie Mhanna (CentraleSupelec, France). Member of the committee at the PhD defense. Supervised by Pablo Piantanida. Defended in January 2017.
- Huu-Hiep Nguyen (University of Lorraine, France). PhD thesis reviewer and member of the committee at the PhD defense.
Title of the thesis: Social Graph Anonymization.
Supervised by Abdessamad Imine. Defended in November 2016.
- Xihui Chen (UNI-Lu, Luxembourg). PhD thesis reviewer and member of the committee at the PhD defense.
Title of the thesis: Location Assurance and Privacy in Location-based Services. Advised by Sjouke Mauw. Defended in June 2014.
- Meilof Veeningen (TUE, Eindhoven, The Netherlands). PhD thesis reviewer and member of the committee at the PhD defense.
Title of the thesis: Objective Privacy -- Formal analysis of data minimisation in
privacy-enhancing protocols. Advised by Sandro Etalle. Defended in June 2014.
- Fabrizio Biondi (ITU, Copenhagen, Denmark). PhD thesis reviewer and member of the committee at the PhD defense.
Title of the thesis: Markovian Processes for
Quantitative Information
Leakage. Advised by Andrzej Wasowski. Defended in May 2014.
- Tri Mihn Ngo (University of Twente, Italy). PhD thesis reviewer and member of the committee at the PhD defense.
Title of the thesis: Qualitative and Quantitative Information Flow Analysis for Multi-threaded Programs. Advised by University of Twente. Defended in April 2014.
- Francesca Pampaloni (IMT, Lucca, Italy). PhD thesis reviewer and member of the committee at the PhD defense.
Title of the thesis: Quantitative Models of Information Flow:
Tuning the Power of the Adversary. Advised by Michele Boreale. Defended in March 2014.
- James Jerson Ortiz Vega (Universidad del Valle, Cali, Colombia). PhD thesis reviewer and member of the committee at the PhD defense.
Title of the thesis: Formal Methods for the Specification and Verification of Distributed and Timed Systems. Advised by Juan Francisco Dias Frias. Defended in September 2012.
- 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 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 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 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 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 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 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 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 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 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 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 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 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 at the PhD
defense. September 2003.
-
Lionel Khalil, École Polytechnique, France. PhD thesis reviewer and member of the committee at the PhD
defense. June 2003.
-
Jeremie Blanc, Université de Grenoble I, France. PhD thesis reviewer and member of the committee 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 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 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 at the PhD
defense. December 1994.
-
Francesca Rossi, Università di Pisa, Italy. PhD thesis reviewer and member of the committee at the PhD
defense. February 1993.
-
Mounira Belmesk, CNRS, France and University of Algery, Algeria. PhD thesis reviewer and member of the committee at the PhD
defense. September 1992.
-
Staffan Bonnier, University of Linköping, Sweden. PhD thesis reviewer and member of the committee at the PhD
defense in the role of opponent. May 1992.
Teaching
Courses at the Master Parisien de Recherche en Informatique (MPRI)
- (2015-20) MPRI course 2.3.2: Foundations of privacy.
Catuscia Palamidessi has designed in 2015 the MPRI M2 course 2.3.2, on the protection of privacy and control of information leakage. The course consists of 24 ours of lectures, and is worth 3 ECTS. Catuscia Palamidessi has been teaching the course, together with Kostas Chatzikokolakis, during the academic years 2015-16, 2016-17, 2017-18 and 2019-20.
- (2004-15) MPRI course 2.3: Concurrency .
Catuscia Palamidessi designed in 2004, together with Jean-Jacques Levy, the MPRI M2 course 3.2 on the foundations of concurrency theory. The course consisted of 48 ours of lectures, and was worth 6 ECTS.
She has been one of the responsibles of that course, until 2015.
She has tought classes during the A.Y. 2007-08, 2006-07, 2005-06, and 2004-05.
- (2003-04)
Course on Concurrency at the
DEA Programmation.
Courses for PhD students at various universities
- Course on Quantitative Information Flow and on Differential Privacy at the department of Computer Science of the University of Venice, Italy. April 2016.
- Course on Quantitative Information Flow at the department of Computer Science of the University of Pisa, Italy. April 2014.
-
Course on Probabilistic Methods in Concurrency at the
PhD program in Pisa, Università di Pisa, Italy. Summer 2004.
-
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.
Tutorials, summer schools and other advanced courses
- Course on Privacy at the ELSA Summer school on Trustworthy AI. Saarbrücken, Germany. September 2022.
- Course on Privacy and Fairness at the IDESSAI, the second Inria-DFKI European Summer School on AI. Saarbrücken, Germany. August-September 2022.
- Course on Privacy and Fairness at the IDESSAI, the first Inria-DFKI European Summer School on AI. Online event. July 2021.
- Lecturer at MOD'19, the 40th Marktoberdorf
Summerschool, devoted to the
more formal aspects of safety and security in software systems. July 31 - August 10, 2019.
- Course on formal methods for privacy at EBSIS 2017, a summer school on Event Based Systems with focus on Security, Dependability and Scalability. Timmendorfer Strand, Germany, July 2017.
- Course on privacy and location privacy at ProbProgSchool 2017, a summer school on Foundations of Programming and Software systems with focus on Probabilistic programming. Minho, Portugal, May 2017.
- Course on Data Privacy at DSSP3: Data Science Starter Program. E. Polytechnique, France, Oct 2015.
- Course on Data Privacy at DSSP2: Data Science Starter Program. E. Polytechnique, France, June 2015.
- Course on quantitative information flow at BISS 2015, the Bertinoro International Spring School. March 2015.
- Tutorial on Quantitative aspects of Information Flow and Privacy at WoLLIC, the Workshop on Logic, Language, Information and Computation. TU Darmstadt, Germany, August 2013.
- 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.
- Jan-Feb 2005.
Lectures for the
CIMPA-UNESCO School on Security of Computer Systems and Networks.
-
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. Advanced School “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.
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.
- (2021-) President of the Commission Scientifique of INRIA Saclay.
- (2021) Member of the evaluation commitee for Full professor positions, Ecole Polytechnique.
- (2020-21) Vice-president of the Commission Scientifique of INRIA Saclay.
- (2019-23) Deputy Member of the Commission Consultatives Paritaire de l’Inria.
- (2020) Member of the evaluation commitee for Assistant professor positions, Ecole Polytechnique.
- (2019) Member of the evaluation commitee for Assistant professor positions, Ecole Polytechnique.
- (2018-21) Member of the Commission Scientifique du Centre de Recherche Inria Saclay.
- (2017-) Member of the committee for the assignment of the INRIA International Chairs.
- (2010-16) Vice-director of the Laboratoire d'Informatique the Ecole Polytechnique (LIX). France.
- (2007-15) Member of the Comité de These for Mathematics and
Computer Science at the Ecole Polytechnique. France.
- (2001-02) 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-02) Member of the Award Committee.
Dept. of Computer Science and Engineering, Penn State University, USA.
- (2000-01) Chair of the Sabbatical Review Committee.
College of Engineering, Penn State University, USA.
- (1999-01) 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.