Ritratto di daniele.gorla@uniroma1.it
Bacheca

Il corso di Concurrent Systems (master degree in Computer Science, secondo anno) continuerà per tutto il periodo di sospensione della didattica in presenza secondo i normali orari (lun 8-10, merc 8-11) tramite il sito Cisco Webex. Gli studenti che seguono il corso hanno ricevuto nella loro mail personale le credenziali per accedere alle lezioni in diretta; le lezioni vengono registrate in modo che possano essere viste anche da chi non le ha seguite in diretta.

 

The course of Concurrent Systems (master degree in Compuetr Science, 2nd year) will continue for the whole suspension period of the classes according to the usual timetable (mon 8-10, wed 8-11) through the Cisco Webex platform. Students that attend the course have received the credentials for attending the classes in their emails; all classes will be recorded for allowing also who cannot attend them online to listen them oflfine.

Ricevimento
Per appuntamento
Curriculum docente
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.
Insegnamento Codice Anno Corso - Frequentare
COMPUTER ARCHITECTURE 10595546 2020/2021 Applied Computer Science and Artificial Intelligence
CONCURRENT SYSTEMS 1047619 2020/2021 Computer Science - Informatica
PROGETTAZIONE DI SISTEMI DIGITALI 1015880 2020/2021 Informatica - erogato in modalità prevalentemente a distanza
PROGETTAZIONE DI SISTEMI DIGITALI 1015880 2019/2020 Informatica
CONCURRENT SYSTEMS 1047619 2019/2020 Computer Science - Informatica
PROGETTAZIONE DI SISTEMI DIGITALI 1015880 2019/2020 Informatica
PROGETTAZIONE DI SISTEMI DIGITALI 1015880 2018/2019 Informatica
PROGETTAZIONE DI SISTEMI DIGITALI 1015880 2018/2019 Informatica
CONCURRENT SYSTEMS 1047619 2018/2019 Computer Science - Informatica
PROGETTAZIONE DI SISTEMI DIGITALI 1015880 2017/2018 Informatica
PROGETTAZIONE DI SISTEMI DIGITALI 1015880 2017/2018 Informatica
CONCURRENT SYSTEMS 1047619 2017/2018 Computer Science - Informatica
PROGETTAZIONE DI SISTEMI DIGITALI 1015880 2016/2017 Informatica in teledidattica in collaborazione con l'Universita' Telematica Unitelma
CONCURRENT SYSTEMS 1047619 2016/2017 Computer Science - Informatica
PROGETTAZIONE DI SISTEMI DIGITALI 1015880 2016/2017 Informatica - 26654
Dipartimento
INFORMATICA
SSD

INF/01