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
Third Mission (4)
Organizzazione di iniziative di valorizzazione, consultazione e condivisione della ricerca (Partecipante)
- Non dirmi dove vai, ma ti dirò chi sei: cosa rivelano le nostre tracce digital- Science4All2024 - DM
Stand nelle strade del centro storico di Padova (28/09/2024 - 29/09/2024) 20240928
Dipartimento di Matematica "Tullio Levi-Civita" - DM
Attività di coinvolgimento e interazione con il mondo della scuola (Responsabile scientifico)
- Gli algoritmi nella vita di tutti i giorni: può un computer funzionare a caramelle? - Corso PNRR-Orientamento attivo nella transizione scuola università all'ITI E. Barsanti
ITI EUGENIO BARSANTI, VIA DEI CARPANI 19/B - CASTELFRANCO VENETO (tTV) (10/04/2024 - 11/04/2024) 20240410
Dipartimento di Matematica "Tullio Levi-Civita" - DM
Attività di coinvolgimento e interazione con il mondo della scuola (Responsabile scientifico)
- Gli algoritmi nella vita di tutti i giorni: può un computer funzionare a caramelle? - Corso PNRR-Orientamento attivo nella transizione scuola università al Liceo Scientifico E. Fermi
L.S. "E. FERMI" - C.SO VITTORIO EMANUELE II 50 ( PADOVA ) (12/03/2024 - 14/03/2024) 20240312
Dipartimento di Matematica "Tullio Levi-Civita" - DM
Organizzazione di iniziative di valorizzazione, consultazione e condivisione della ricerca (Partecipante, Responsabile scientifico)
- Frontiere dell'informatica - Science4All 2023 - DM
Stand nelle strade del centro storico di Padova (30/09/2023 - 30/09/2023) 20230930
Dipartimento di Matematica "Tullio Levi-Civita" - DM
No Results Found