Binary Session Types in Coq
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 - 11:20|
|11:20 - 11:40|
Ornela DardhaUniversity of Glasgow
|11:40 - 12:00|
Marco CarboneIT University of Copenhagen