Person
placeholder image

MOMIGLIANO ALBERTO DAVIDE ADOLFO

PROFESSORE ASSOCIATO
Dipartimento di Informatica Giovanni Degli Antoni

Funded research (4)

Certificazione di verificatori automatici del software basati su clausole di Horn con vincoli 
AL_RIC - Bandi da altri enti di ricerca
Project
Scientific Manager
2017
12 months
Estensioni del Property-based Testing di e con linguaggi di programmazione dichiarativa. 
AL_RIC - Bandi da altri enti di ricerca
Project
Scientific Manager
2020
12 months
Logiche non classiche nella specificazione e verifica dei programmi 
PUR20062008 - PUR 2006-2008
Project
participant
2006
Tecniche logiche nella specifica e verifica formale di sistemi. 
PUR20062008 - PUR 2006-2008
Project
participant
2007
No Results Found

Publications (66)

Conferences

Program chair (presidente/responsabile del comitato scientifico) - Logical Frameworks and Meta-Languages: Theory and Practice (01/01/2013 - )
No Results Found

Doctoral Boards (7)

Università degli Studi di MILANO - INFORMATICA-2022 (cycle: 38 - Year: 2022 )
Università degli Studi di MILANO - INFORMATICA-2021 (cycle: 37 - Year: 2021 )
Università degli Studi di MILANO - INFORMATICA-2017 (cycle: 33 - Year: 2017 )
Università degli Studi di MILANO - INFORMATICA-2016 (cycle: 32 - Year: 2016 )
Università degli Studi di MILANO - INFORMATICA-2015 (cycle: 31 - Year: 2015 )
Università degli Studi di MILANO - INFORMATICA-2014 (cycle: 30 - Year: 2014 )
Università degli Studi di MILANO - INFORMATICA-2013 (cycle: 29 - Year: 2013 )
No Results Found