---

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

Hot links

Employment

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 entry in Google Scholar.
  • My Google Scholar profile.
  • My MathSciNet entry. [Note: This will only work if you have a subscription to MathSci.]

  • My entry in the DBLP Bibliography Server. I am on the list of DBLP's most prolific authors.

  • 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.)

• Awards and Honours
  • Reykjavik University's Research Award 2012. (The text is in Icelandic.)
  • Abel Extraordinary Chair, Universidad Complutense Madrid, 15 October-15 December 2010.
  • Teacher of the year award for 1997 and 1999 from the Study Board for the Department of Mathematics and the Institute of Computer Science, Aalborg University.
  • Distinguished Dissertations Award by the British Association of Professors in Computer Science for 1990/1991.

• Research Centres
  • Member and former 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 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. ICE 2012, 5th Interaction and Concurrency Experience, June 16, 2012, Stockholm, Sweden. (PC member)
    2. EXPRESS/SOS 2012, joint workshop on Expressiveness in Concurrency and Structural Operational Semantics, Newcastle upon Tyne, United Kingdom, September 3, 2012. (PC member)
    3. CONCUR 2012 (23rd International Conference on Concurrency Theory), Newcastle upon Tyne, 3-8 September 2012. (PC member)
    4. 2013 European Symposium on Programming (ESOP 2013). (PC member)
    5. GandALF 2013 Fourth International Symposium on Games, Automata, Logics and Formal Verification. (PC member)

• Supervision of Graduate Students and Postdoctoral Researchers
  • Postdoctoral researchers: Silvio Capobianco (August 2006-July 2008), MohammadReza Mousavi (September 2006-September 2007), Joshua Sack (2009-2011) and Dario Della Monica (March 2012-to date).
  • PhD students: Matteo Cimini (January 2009-December 2011), Eugen-Ioan Goriac (starting from August 2010), Georgiana Caltais (August 2010-August 2013), 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). I am currently supervising Vignir Örn Guðmundsson.

• Editorial Work and Related Scientific Activities
  • President of the European Association for Theoretical Computer Science (July 2012-July 2014)
  • 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 member of the Icelandic Academy of Sciences (SOCIETAS SCIENTIARUM ISLANDICA, Visindafelag Islendinga) from January 2012.

  • I am a member of the Scientific Board of the Doctoral Programme in Computer Science and Engineering at IMT Lucca, Italy.

  • I am member of the EATCS council.

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

  • 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. The following talks of mine have been taped:
    • The power of logic. This is the video of a six-minute talk for a general public I delivered at the Reykjavik University Lecture Marathon on 28 March 2014.
    • Rules rule!. This is the video of a seven-minute talk for a general public I delivered at the Reykjavik University Lecture Marathon on 20 March 2013.
    • Developing software is a game!. This is the video of a seven-minute talk for a general public I delivered at the Reykjavik University Lecture Marathon on 23 March 2012.
    • Alan M. Turing: The Father of Computer Science. Talk delivered as part of the Alan Turing Year events organized by ICE-TCS at Reykjavik University The audio of the talk is here in .avi format.
    • Computer says no: Are there some things that computers truly can not do?. This is the video of an 8-minute talk I delivered at the Reykjavik University Lecture Marathon in 2010.

  • My curriculum vitae et studiorum.

  • Teaching.

• Ongoing Grants

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

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

  • Processes and Modal Logics, Rannis (The Icelandic Fund for Research) Project nr. 100048021) (2010-2012); joint with Anna Ingolfsdottir.

  • Meta-Theory of Algebraic Process Theories, Rannis (The Icelandic Fund for Research) Project nr. 100014021) (2010-2012); 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.