Ritratto di daniele.gorla@uniroma1.it

Classes of Concurrent Systems will regularly start on Wednesday, February 24th, and will take place every wednesday from 8 to 11am, and every friday from 8 to 10am. Just for the first class, the starting time will be 8.30am. Students are required to ask for registration in the googlegroup of the course by writing an email to gorla@di.uniroma1.it. You'll find all information for remotely attending the classes on such googlegroup (zoom meeting number and password) and all the course material. You can find detailed infos on the course webpage https://twiki.di.uniroma1.it/twiki/view/TC/WebHome. REMARK: Since no student is currently willing to physically attend the class, all lectures will take place remotely. If somebody prefers to come in the lecture room, please send me an email.

 

Le lezioni del corso "Progettazione di sistemi digitali" in teledidattica sono pre-registrate e si trovano sul sito Unitelma, assieme a tutto il materiale didattico. Su tale sito sarà anche possibile interagire col docente, tramite webinar periodici e ponendo domande su un apposito forum (una sorta di ricevimento virtuale a distanza). Il sito è accessibile solo per gli studenti accreditati Unitelma.

 

The course of Computer Architecture (Unit 1) is held in the 1st semester. Classes take place every tuesday from 8 to 11am and friday from 2 to 4pm. All information on the course, including class material and links for remotely attending the streaming of the classes, can be found at: https://twiki.di.uniroma1.it/twiki/view/ACSAI/CA1/AA2021/WebHome.

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.

Insegnamento Codice Anno Corso - Frequentare
PROGETTAZIONE DI SISTEMI DIGITALI 1015880 2021/2022 Informatica - erogato in modalità prevalentemente a distanza
CONCURRENT SYSTEMS 1047619 2021/2022 Computer Science - Informatica
COMPUTER ARCHITECTURE 10595546 2021/2022 Applied Computer Science and Artificial Intelligence
PROGETTAZIONE DI SISTEMI DIGITALI 1015880 2020/2021 Informatica - erogato in modalità prevalentemente a distanza
CONCURRENT SYSTEMS 1047619 2020/2021 Computer Science - Informatica
COMPUTER ARCHITECTURE 10595546 2020/2021 Applied Computer Science and Artificial Intelligence
PROGETTAZIONE DI SISTEMI DIGITALI 1015880 2019/2020 Informatica
PROGETTAZIONE DI SISTEMI DIGITALI 1015880 2019/2020 Informatica
CONCURRENT SYSTEMS 1047619 2019/2020 Computer Science - 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
PROGETTAZIONE DI SISTEMI DIGITALI 1015880 2016/2017 Informatica - 26654
CONCURRENT SYSTEMS 1047619 2016/2017 Computer Science - Informatica
Titolo Rivista Anno
Enhanced models for privacy and utility in continuous-time diffusion networks INTERNATIONAL JOURNAL OF INFORMATION SECURITY 2021
Conflict vs Causality in Event Structures THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING 2020
Output Sampling for Output Diversity in Automatic Unit Test Generation IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 2020
A Polynomial-Time Algorithm for detecting the possibility of Braess Paradox in Directed Graphs ALGORITHMICA 2019
Conflict vs causality in event structures ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE 2019
Enhanced models for privacy and utility in continuous-time diffusion networks 2019
Modal epistemic logic on contracts: a doctrinal approach 2019
Approximate model counting, sparse XOR constraints and minimum distance 2019
A doctrinal approach to modal/temporal Heyting logic and non-determinism in processes MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE 2018
Inefficiencies in network models: a graph-theoretic perspective INFORMATION PROCESSING LETTERS 2018
Depletable channels: dynamics, behaviour, and efficiency in network design ACTA INFORMATICA 2018
Graph theoretic detection of inefficiencies in network models CEUR WORKSHOP PROCEEDINGS 2018
Semantic subtyping for objects and classes COMPUTER JOURNAL 2017
Full abstraction for expressiveness: history, myths and facts MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE 2016
Dipartimento
INFORMATICA
SSD

INF/01