Ritratto di daniele.gorla@uniroma1.it

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

* 8-1-2024, 5-2-2023, 4-6-2024, 2-7-2024, 17-9-2024 (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 Febr. 26th, 2024. For all details, see the webpage: https://sites.google.com/uniroma1.it/conc-sys/

Insegnamento Codice Anno Corso - Frequentare Bacheca
Foundations of Computer Science 10595530 2023/2024
AUTOMATA COMPUTABILITY AND COMPLEXITY 1041727 2023/2024
CONCURRENT SYSTEMS 1047619 2023/2024
CONCURRENT SYSTEMS 1047619 2022/2023
Foundations of Computer Science 10595530 2022/2023
AUTOMATA COMPUTABILITY AND COMPLEXITY 1041727 2022/2023
AUTOMATA COMPUTABILITY AND COMPLEXITY 1041727 2021/2022
Digital Systems 1015880 2021/2022
CONCURRENT SYSTEMS 1047619 2021/2022
Computer Architecture 10595546 2021/2022
CONCURRENT SYSTEMS 1047619 2020/2021
Digital Systems 1015880 2020/2021
Computer Architecture 10595546 2020/2021
CONCURRENT SYSTEMS 1047619 2019/2020
Digital Systems 1015880 2019/2020
Digital Systems 1015880 2019/2020
CONCURRENT SYSTEMS 1047619 2018/2019
Digital Systems 1015880 2018/2019
AUTOMATA COMPUTABILITY AND COMPLEXITY 1041727 2018/2019
Digital Systems 1015880 2018/2019
CONCURRENT SYSTEMS 1047619 2017/2018
AUTOMATA COMPUTABILITY AND COMPLEXITY 1041727 2017/2018
Digital Systems 1015880 2017/2018
Digital Systems 1015880 2017/2018
Digital Systems 1015880 2016/2017
AUTOMATA COMPUTABILITY AND COMPLEXITY 1041727 2016/2017
CONCURRENT SYSTEMS 1047619 2016/2017
Digital Systems 1015880 2016/2017

Per appuntamento

Daniele Gorla ha conseguito la laurea in Informatica presso l'università di Roma La Sapienza nel Dicembre 2000. Ha poi conseguito il Dottorato di Ricerca in "Informatica ed Applicazioni" presso l'università di Firenze nel Febbraio 2005, sotto la supervisione dei proff. Rocco De Nicola e Rosario Pugliese. Dal Marzo 2006 è ricercatore presso il Dipartimento di Informatica dell'Università di Roma "La Sapienza", diventando poi professore associato nel 2012. La sua ricerca verte sui metodi formali dell'informatica, in particolare applicati a linguaggi di programmazione e calcoli concorrenti. Ha pubblicato articoli su oltre 20 riviste e 25 conferenze di informatica teorica. E' stato revisore per le principali riviste e conferenze della sua area. Nel 2003 è stato invited speaker al workshop SecCo'03 affiliato a ICALP. Ha visitato l'università del Sussex a Brighton nel 2003 con un grant Marie Curie ed è stato poi research associate nel 2005. Nel 2007 Ë stato visiting professor presso il laboratorio PPS dell'università Paris VII e nel 2010 della Sydney University of Technology. Ha tenuto seminari presso varie università europee, tra cui l'Imperial College di Londra, l'Ecòle Polytechnique di Parigi e la Technische Universitat di Berlino. E' stato presente nei comitati di programma di rilevanti eventi scientifici internazionali (EXPRESS'07-'08-'09, SecCo'07, PLDI'08, MFPS'09, CONCUR'10-'13, FORTE'13), spesso anche come chair man (SecCo'07, EXPRESS'08-'09, CONCUR'14). E' stato guest editor dei giornali Electronic notes in computer science (Elsevier), Mathematical structures in computer science (Cambridge university press), Journal of Computer Security (IOS Press) e Information and Computation (Elsevier). Inoltre, è stato General Chair delle conferenze ETAPS'13, IFIP-TCS'14, ICALP'16 e della federazione di conferenze LICS e ITP nel 2021; inoltre, è stato membro dello Steering Committee di ETAPS (2012-2014) e di LICS (2020-2023) Ha svolto continuativamente didattica presso il corso di laurea in Informatica e Tecnologie Informatiche dell'università di Roma La Sapienza dal 2001. E' co-autore del libro "Introduzione alla logica e al linguaggio matematico" assieme a Giorgio T. Bagni e Anna Labella, edito da McGraw-Hill nel 2008.