---

Luca Aceto's homepage

---

Work place: Venus (Third floor)
Email : luca AT ru.is AND luca.aceto AT gmail.com 



Skype : luca_aceto  
PHONE : +354  599 6200 (Switchboard) To be used only for very urgent matters
PHONE : +354  599 6419 (Direct) To be used only for very urgent matters
FAX   : +354  599 6301

Employment

Information on the positions I have held previously may be found here.

Research

Work Related Links

• Links Related to my Publications and Co-workers
  • Web page for the book Reactive Systems: Modelling, Specification and Verification (Cambridge University Press, July 2007) by Anna Ingolfsdottir, Kim G. Larsen, Jiri Srba and myself. The web page for the book at CUP is here. [Endorsements] [Review by Jos Baeten and Ana Sokolova for JLAP]
    You can also buy the book from Amazon.co.uk or Amazon.com.
  • Books written or edited by Anna Ingolfsdottir and/or me.
  • Recent Publications by Anna Ingolfsdottir and/or me.

  • My MathSciNet entry. [Note: This will only work if you have a subscription to MathSci.]

  • My entry in the DBLP Bibliography Server.

  • My entry in Google Scholar.
  • My entry in CiteSeer.
  • My entry in Libra.
  • My BRICS Publications list.

  • Anna Ingolfsdottir's home page.

  • List of co-authors and co-editors. (You may also wish to look at the, slightly less complete, list of my co-authors provided by the DBLP Bibliography Server.)

• Research Centres
  • Chair of the TC1 Working Group 1.8 on Concurrency Theory, of the International Federation for Information Processing (IFIP). [List of members of the WG.] [Blog for discussions within the WG]
  • I am a member of BRICS.
  • I am one of the scientific co-directors of the Icelandic Centre of Excellence in Theoretical Computer Science (ICE-TCS).

• Conferences, Workshops and Seminar Series
  • Conferences and events I am, or have been, involved in.

    Present and Future Committees and Events

    1. 35th International Symposium on Mathematical Foundations of Computer Science, August 23-27 2010, Brno, Czech Republic. (PC member)
    2. Structural Operational Semantics 2010, 30 August 2010, Paris. (Co-chair with Pawel Sobocinski.)
    3. Fourth FSEN: IPM International Conference on Fundamentals of Software Engineering (FSEN'11), April 20--22, 2011 Tehran, Iran. (PC member)
    4. 38th International Colloquium on Automata, Languages and Programming (ICALP 2011), ETH Zurich, 4-8 July 2011. (PC chair for track B.)

• Supervision of Graduate Students and Postdoctoral Researchers
  • Postdoctoral researchers: Silvio Capobianco (August 2006-July 2008), MohammadReza Mousavi (September 2006-September 2007), Joshua Sack (starting from January 2009).
  • PhD students: Matteo Cimini (January 2009-to date), Eugen-Ioan Goriac (starting from August 2010), Georgiana Goriac Caltais (starting from August 2010), Sumit Nain (during his research visit to Aalborg University in October-December 2004).
  • MSc students:
    • At Aalborg University, I have supervised the following MSc. students: Michael L. Olesen (thesis on "Testing Timed Automata"), Jan Pedersen (thesis on "Testing Timed Automata"), Mikkel Lykke Pedersen (thesis on "Characteristic Formulae for Timed Automata"), Jan Poulsen (thesis on "Characteristic Formulae for Timed Automata"), Joana Isabel Louro Migueus (jointly supervised with Ana Martins and Yasser Omar in Lisbon; thesis on "Quantum Data Compression"), and Joana Martinho (jointly supervised with Antonio Ravara in Lisbon; thesis on "The pi-Calculus with Polyadic Synchronization"). Together with Flavio Corradini, I have also supervised Enrico Cianci's MSc. thesis at the University of L'Aquila (Italy). I have also supervised Alessia Codiglione's MSc. thesis at the University of Catania (Italy) (joint supervision with Franco Barbanera). Together with the late Nadia Busi, I have acted as supervisor for the MSc. theses of Andrea Degli Esposti and Michele Geri (University of Bologna, Italy).
    • At Reykjavik University, I supervised Maria Arinbjarnar's M.Sc. thesis "Rational Dialog in Interactive Games" (completion date: June 2007), and Arnar Birgisson's M.Sc. thesis "Topics in Operational Semantics" (completion date: June 2009).

• Editorial Work and Related Scientific Activities
  • Editor of the Concurrency Column of the Bulletin of the European Association for Theoretical Computer Science (EATCS) (starting from the October 2003 issue).

  • Editor of the Journal of Logic and Algebraic Programming, Elsevier (starting from December 2003).

  • Member of the editorial board for Electronic Proceedings in Theoretical Computer Science, a new open-access publication outlet. If you are organizing high quality workshops in TCS, do consider it as a publication outlet for the workshop proceedings!
  • I am an editor of ACTA CYBERNETICA (a scientific journal published by the Department of Informatics of the University of Szeged, Szeged, Hungary).

  • I am a member of the Scientific Advisory Board of BICI (Bertinoro International Center for Informatics). You can watch the video BICI - The Mission on YouTube.

  • I am member of the EATCS council.

  • I have served as a member of the steering committee for ETAPS (September 2004-February 2006).

• CV, Teaching and Some Recent Talks
  • Slides I used for some recent talks.

  • My curriculum vitae et studiorum.

  • Teaching.

• Ongoing Grants

  The list of grants I have received since moving to Iceland is available here.

  • The Equational Logic of Parallel Processes, Rannis (The Icelandic Fund for Research) Project nr. 060013021 (2006-2008); joint with Anna Ingolfsdottir.

  • New Developments in Operational Semantics, Rannis (The Icelandic Fund for Research) Project nr. 080039021 (2008-2010); joint with Anna Ingolfsdottir and MohammadReza Mousavi.

• Other Miscellaneous Academic Links
  • A process algebra diary. (My postings before Sunday, 7 May 2006 are available here.)
  • The current best upper bound on my Erdös number is 4 via any of the following paths:
    
    • Daniel J. Kleitman (1), Albert R. Meyer (2), Bard Bloom (3), Luca Aceto (4).
    • Andrew J. Granville (1), Jan van de Lune (2), Wan Fokkink (3), Luca Aceto (4).
    • Norbert W. Sauer (1), Werner Kuich (2), Zoltan Esik (3), Luca Aceto (4).

  • Kari Ragnarsson's home page.
  • Logi Ragnarsson's home page.

  • Bridget Eileen Tenner's home page.

  • BRICS.

  • Luigi Liquori is another computer scientist from Pescara in exile.

  • Some other Italian computer scientists named Luca, who are also working abroad, are Luca de Alfaro, Luca Cardelli, Luca Carloni and Luca Trevisan.

Some Photos

• Invited talk at CONCUR 2007. [Start of the talk] [At some point during the story telling]
• Visit to Eindhoven for Mousavi's PhD defence (26 September 2005).
• Group photo taken on the last day of the APC 25 workshop (5th October 2005).
• Anna and I in Flavio Corradini's office and back from the canteen (Camerino, July 2005).
• Robert, Kolbeinn and Sverrir Pall in football mode (8th January 2005).
• My brother's new-born daughter (December 2003) and at her christening (September 2004).

• My sister's kids in June 2003.

• Robert composing an email message in April 2003.

• Family lunch during the third day of CONCUR 2001.

• Robert resting during CONCUR 2001.

• Robert in the autumn of 1996.

• A partial view of Pescara, my home town. (Courtesy of Carlo Pace-Palitti.) (Weather in Pescara.) An entertaining, and I believe thoughtful, account of (summer) life in my home town can be found in the book An Italian Education by Tim Parks.