Persona
BRESOLIN DAVIDE
Docenti di ruolo di IIa fascia
Pubblicazioni (95)
Comitati editoriali (2)
Guest Editor di rivista o collana editoriale - LOGICAL METHODS IN COMPUTER SCIENCE - ISSN: 1860-5974 - Braunschweig : Logical Methods in Computer Science c/o Institut f. Theoretische Informatik, Technische Universität Braunschweig. (2021 - )
2021
Guest Editor di rivista o collana editoriale - INFORMATION AND COMPUTATION - ISSN: 1090-2651 - Orlando, Fla. : Academic Press
[New York] : Elsevier Science (USA) (2020 - )
2020
No Results Found
Ricerca e didattica presso enti (2)
Incarico svolto presso: Università degli Studi di PADOVA - Ricercatore/Ricercatrice universitario a t.d.
(17/10/2016 - 16/10/2019)20161017
Incarico svolto presso: Alma Mater Studiorum - Università di BOLOGNA - Ricercatore/Ricercatrice universitario a t.d.
(31/12/2013 - 16/10/2016)20131231
No Results Found
Congressi (2)
Program chair (presidente/responsabile del comitato scientifico) - 12th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2021) (01/01/2021 - 22/09/2022) 20210101
Program chair (presidente/responsabile del comitato scientifico) - 11th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2020) (01/01/2020 - 22/09/2020) 20200101
No Results Found
Network di ricerca
OVERLAY research group on Formal Methods for AI
- The OVERLAY group (acronym for fOrmal VERification, Logic, Automata, and sYnthesis) fosters the collaboration among a diverse team of Formal Methods and AI researchers, aiming at pursuing multidisciplinary research at the border of the two fields.
(01/01/2019 - )20190101
No Results Found
Collegi di dottorato (7)
Università degli Studi di PADOVA -
BRAIN, MIND AND COMPUTER SCIENCE-2024
(ciclo: 40 - Anno: 2024
2024
)
Università degli Studi di PADOVA -
BRAIN, MIND AND COMPUTER SCIENCE-2023
(ciclo: 39 - Anno: 2023
2023
)
Università degli Studi di PADOVA -
BRAIN, MIND AND COMPUTER SCIENCE-2022
(ciclo: 38 - Anno: 2022
2022
)
Università degli Studi di PADOVA -
BRAIN, MIND AND COMPUTER SCIENCE-2021
(ciclo: 37 - Anno: 2021
2021
)
Università degli Studi di PADOVA -
BRAIN, MIND AND COMPUTER SCIENCE-2020
(ciclo: 36 - Anno: 2020
2020
)
Università degli Studi di PADOVA -
BRAIN, MIND AND COMPUTER SCIENCE-2019
(ciclo: 35 - Anno: 2019
2019
)
Università degli Studi di PADOVA -
BRAIN, MIND AND COMPUTER SCIENCE-2018
(ciclo: 34 - Anno: 2018
2018
)
No Results Found
Tutoraggio
tutorship -
Assegnisti/e
- Zavatteri Matteo
No Results Found