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
Public Engagement (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