Persona
MOMIGLIANO ALBERTO DAVIDE ADOLFO
PROFESSORE ASSOCIATO
Ricerca finanziata (4)
Certificazione di verificatori automatici del software basati su clausole di Horn con vincoli
AL_RIC - Bandi da altri enti di ricerca
Progetto
Responsabile scientifico
2017
12 mesi
Estensioni del Property-based Testing di e con linguaggi di programmazione dichiarativa.
AL_RIC - Bandi da altri enti di ricerca
Progetto
Responsabile scientifico
2020
12 mesi
Logiche non classiche nella specificazione e verifica dei programmi
PUR20062008 - PUR 2006-2008
Progetto
Partecipante
2006
Tecniche logiche nella specifica e verifica formale di sistemi.
PUR20062008 - PUR 2006-2008
Progetto
Partecipante
2007
No Results Found
Pubblicazioni (66)
Congressi
Program chair (presidente/responsabile del comitato scientifico) - Logical Frameworks and Meta-Languages: Theory and Practice (01/01/2013 - ) 20130101
No Results Found
Collegi di dottorato (7)
Università degli Studi di MILANO -
INFORMATICA-2022
(ciclo: 38 - Anno: 2022
2022
)
Università degli Studi di MILANO -
INFORMATICA-2021
(ciclo: 37 - Anno: 2021
2021
)
Università degli Studi di MILANO -
INFORMATICA-2017
(ciclo: 33 - Anno: 2017
2017
)
Università degli Studi di MILANO -
INFORMATICA-2016
(ciclo: 32 - Anno: 2016
2016
)
Università degli Studi di MILANO -
INFORMATICA-2015
(ciclo: 31 - Anno: 2015
2015
)
Università degli Studi di MILANO -
INFORMATICA-2014
(ciclo: 30 - Anno: 2014
2014
)
Università degli Studi di MILANO -
INFORMATICA-2013
(ciclo: 29 - Anno: 2013
2013
)
No Results Found