DANIELE GORLA

Date di esame per ACC (teledidattica) / Exam dates for FoCS (ACSAI):

* 9-1-2025, 6-2-2025, 3-6-2025, 3-7-2025, 4-9-2025 (prova scritta / written test)

* l'esame orale si svolgerà qualche giorno dopo lo scritto e verrà concordato con il docente / the oral exam will take place a few days after the written test and will be agreed with the teacher.

Tutti gli esami si svolgeranno in presenza / All exams are in presence.

Exams for Concurrent Systems are by appointment with the professor. 

The course will start on Monday March 3rd, 2025. For all details, see the webpage: https://sites.google.com/uniroma1.it/conc-sys/

Daniele Gorla got his MSc in Computer Science (cum laude) from University of Rome “La Sapienza” in 2000; in 2005, he got a PhD in "Informatics and Applications" from the University of Florence (supervisors: Prof. Rocco De Nicola and Prof. Rosario Pugliese). Since 2012, he is an Associate Professor at the Department of Computer Science of the University of Rome "La Sapienza". His research interest are focused on the semantics of concurrent programming, process calculi with distribution, mobility and/or cryptography, formal methods for security, algorithms, machine learning and software engineering. He is the (co)author of 75 scientific articles, published in high-level conferences and journals, and was the speaker at 30 conferences, in some cases also as a keynote speaker. He spent many periods in prestigious international institutions, like the University of Edinburgh, the Ecole Polytechnique of Paris, the University College and the Imperial College of London, the University of Reykjavik and the University of Technology of Sydney. He was the PC co-chair of several events, most notably for the 25th Conference on Concurrency Theory (CONCUR 2014); he has also been the PC member for conferences like ACM CCS 2025, CONCUR 2024, CONCUR 2022, and many others. He currently is the Editor-in-Chief of ACM SigLOG News (since 2023), he is an Associate Editor of ACM Transactions on Computational Logic (since 2023) and Member of the Editorial Board of Journal of Logical and Algebraic Methods in Computer Science, Elsevier (since 2020); he has also been a guest editor for TCS, I&C, MSCS and JCS. He was General Chair of many conferences (CADE & FSCD 2023, LICS & ITP 2021, ICALP 2016 and ETAPS 2013) and member of the Steering Committee for ITP, LICS and ETAPS. He has supervised around 90 students at all levels (BSc, MSc and PhD) and though in many PhD courses, both in Italy and abroad (GSSI Aquila, Univ. of Edinburgh, Univ. of Reykjavik).