Autori & Autrici

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/


Newsletter
Invia la tua email per iscriverti alla newsletter. Riceverai informazioni sugli aggiornamenti e sulle attività del sito


Collabora con noi. Controlla i prossimi Call for papers e invia il tuo testo. La redazione valuterà se pubblicarlo su uno dei prossimi numeri.