Emilio's web page

Associate Professor
Gran Sasso Science Institute
67100 L'Aquila (Italy)
officeViale Rendina, 28 Room P2-16
Office Hours: always keen to meet; just drop me an email to fix a meeting.
mailemail ['.'/'dot']
phone+39 0862 428 0312
Highlights Recent talks (full list here)
Recent stuff Projects Tools
Events Fun & not so fun stuff
Latest from eM
  • November 29, 2023: STTT paper online at https://link.springer.com/article/10.1007/s10009-023-00728-9
    November 21, 2023: attending the PRO3 workshop on software quality at GSSI!
    November 08, 2023: teaching again!
    November 01, 2023: Preparing for the viva at UBA
    October 25, 2023: Amost done with TACAS artefacts
    October 23, 2023: ChorGram handles QoS
    October 20, 2023: attending FACS 2023
    October 18, 2023: TACAS papers submitted! Working on artefacts now
    September 11, 2023: ICTAC paper accepted! Very high quality reviewsgit push!
    August 03, 2023: STTT paper accepted
  • Openings: 2 post-docs

    If you’re interested in doing research on decentralised finance (DeFi) and formal methods, we’ll soon advertise two post-doc positions (up-to 24 months; call expected by end 2023) funded by the Italian PNRR PRIN 2022 project DeLICE.

    • The posts are at the University of Cagliari (Unica) and the Gran Sasso Science Institute (GSSI); the research will develop formal methods for decentralised finance (DeFi)
    • possibility of interaction among research groups in Cagliari, GSSI, University of Sassari and their international research partners, and with mainstream blockchain foundations (e.g., Ethereum Foundation, IOTA Foundation)
    • expected skills/expertise: blockchain technologies, smart contracts, decentralised finance, formal methods for modelling and verification, logics
    • gross salary: 30K EUR/year (University of Cagliari), 45K EUR/year (GSSI)