Person
BRESOLIN DAVIDE
Docenti di ruolo di IIa fascia
Publications (95)
Editorial Board (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
Research and teaching at institutions (2)
Position carried out at: Università degli Studi di PADOVA - Ricercatore/Ricercatrice universitario a t.d.
(17/10/2016 - 16/10/2019)20161017
Position carried out at: Alma Mater Studiorum - Università di BOLOGNA - Ricercatore/Ricercatrice universitario a t.d.
(31/12/2013 - 16/10/2016)20131231
No Results Found
Congresses (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
Research Network
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
Doctoral college (7)
Università degli Studi di PADOVA -
BRAIN, MIND AND COMPUTER SCIENCE-2024
(cycle: 40 - Year: 2024
2024
)
Università degli Studi di PADOVA -
BRAIN, MIND AND COMPUTER SCIENCE-2023
(cycle: 39 - Year: 2023
2023
)
Università degli Studi di PADOVA -
BRAIN, MIND AND COMPUTER SCIENCE-2022
(cycle: 38 - Year: 2022
2022
)
Università degli Studi di PADOVA -
BRAIN, MIND AND COMPUTER SCIENCE-2021
(cycle: 37 - Year: 2021
2021
)
Università degli Studi di PADOVA -
BRAIN, MIND AND COMPUTER SCIENCE-2020
(cycle: 36 - Year: 2020
2020
)
Università degli Studi di PADOVA -
BRAIN, MIND AND COMPUTER SCIENCE-2019
(cycle: 35 - Year: 2019
2019
)
Università degli Studi di PADOVA -
BRAIN, MIND AND COMPUTER SCIENCE-2018
(cycle: 34 - Year: 2018
2018
)
No Results Found
Tutoring
tutorship -
Assegnisti/e
- Zavatteri Matteo
No Results Found