Emilio's web page
Highlights Recent talks (full list here) Latest
  • BehAPI GSSI is almost in :)
  • IT-Matters PRIN project about Methods and Tools for Trustworthy Smart Systems
  • ChorGram One of my favourtie hobbies
  • CIRC Clément Aubert new project on concurrency in reversible computing
  • Formal Methods Europe Site about FM in Europe
  • GSSI seminars I’m organising the seminars at GSSI: contact me if you are interested to give a talk
  • ISoLA 2022 Presentation at ISoLA 2022. October 26, 2022
  • NOVA Presentation at LINCS NOVA. July 27, 2022
  • ECOOP 2022 Presentation at ECOOP 2022. June 09, 2022
  • ISoLA 2021 Presentation at ISoLA 2021. October 27, 2021

newsWe are recruiting at all levels, if interested send us your expression of interest!

news10 (ten!) PhD Scholarships in Computer Science + benefits! Details here

  • May 30, 2023: finishing up papers (ECOOP artifact & LMCS camera ready)
    May 22, 2023: the tutorial is coming up nicely...I think
    May 21, 2023: preparing a tutorial on behavioural types for local-first applications
    May 10, 2023: working on 3 camera ready papers :sunglasses:!
    May 09, 2023: LMCS accepted the extendev version of FCL!
    April 29, 2023: Our 2nd round submission at ECOOP of the paper on behavioural types for local-first software accepted :sunglasses:
    April 29, 2023: Working hard to avoid working on Labour day...unlike some Italian MPs
    April 28, 2023: Enjoying the visit of Franco Raimondi
    April 26, 2023: Enjoying the visit of Emanuele D'Osualdo
    April 24, 2023: Our paper on the synchronous composition of communicating systems will appear on JLAMP :sunglasses:
    • Contact Events Fun & not so fun stuff
    Associate Professor
    Gran Sasso Science Institute
    Viale F. Crispi, 7
    67100 L'Aquila (Italy)
    officePalazzo Mariani P1-N
    Office Hours: always keen to meet; just drop me an email to fix a meeting.
    mailemail ['.'/'dot']
    phone+39 0862 428 0312