Alessandro Aldini

Alessandro Aldini

Ricercatore di Informatica presso l'Università di Urbino "Carlo Bo", Dipartimento di Scienze di Base e Fondamenti. Le sue aree di ricerca riguardano metodi formali per la verifica di sistemi software e hardware. É co-direttore della International SummerSchool on Foundations of Security Analysis and Design. Ulteriori informazioni sono reperibili sulla sua pagina web personale: http://www.sti.uniurb.it/aldini/