ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic

I am a Lecturer (Assistant Professor) at the School of Computing Science, University of Glasgow, UK.

I obtained my PhD in Computer Science in May 2014 from University of Bologna, Italy, under the supervision of Davide Sangiorgi. My PhD thesis Type Systems for Distributed Programs: Components and Sessions won the prize for the Best Italian PhD Thesis in Theoretical Computer Science 2015, awarded by the Italian Chapter of EATCS.

I obtained my BSc in 2008 and my MSc in 2010 in Computer Science, both summa cum laude, from Sapienza University of Rome, Italy.

Sat 6 Apr (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

11:00 - 12:00: BEHAPI - Mechanising Proofs of Behavioural Types for APIs at S4 (BEHAPI)
Chair(s): Luca PadovaniUniversity of Turin
behapi-2019-papers11:00 - 11:20
Antonio RavaraNOVA University of Lisbon and NOVA LINCS, Marco GiuntiNOVA-LINCS, FCT NOVA / Universidade Nova de Lisboa
behapi-2019-papers11:20 - 11:40
Ornela DardhaUniversity of Glasgow
behapi-2019-papers11:40 - 12:00
Marco CarboneIT University of Copenhagen