Dino Distefano

Dino Distefano (Catania, 1973[1]) è un informatico italiano, vincitore del Roger Needham Award per le sue ricerche sull'analisi della sicurezza e dell'affidabilita' del software [1][2].

Biografia

Si è laureato all'Università di Pisa e ha ottenuto il dottorato all'università di Twente nei Paesi Bassi. Si trasferisce a Londra con una borsa di post dottorato e dopo aver pubblicato articoli su una tecnica di analisi basata su logica matematica e implementata nel sistema denominato infer, in grado di determinare automaticamente l'esistenza di errori in sistemi software, viene insignito del Roger Needham Award[2][3].

Diviene professore ordinario di verifica del software presso l'università Queen Mary di Londra e fonda una sua società di nome Monoidics che viene acquisita da Facebook[1].

Nel 2014 viene premiato con la Silver Medal dalla Royal Academy of Engineering, un riconoscimento dato a ricercatori per il loro contributo scientifico, commercializzato con successo[4].

Note

1. Dino, genio informatico che l'Italia ha perduto, su palermo.repubblica.it. URL consultato il 22 luglio 2013.
2. Il genio informatico di Catania entra nella squadra di Facebook, su corriere.it. URL consultato il 22 luglio 2013.
3. Da bcs.org, su bcs.org. URL consultato il 22 luglio 2013 (archiviato dall'url originale il 20 dicembre 2013).
4. Silver Medals for UK’s brightest up-and-coming tech entrepreneurs, su engineeringforgrowth.org.uk (archiviato dall'url originale il 26 ottobre 2014).

Collegamenti esterni

• (EN) Dino Distefano, su Mathematics Genealogy Project, North Dakota State University.
• Intervista su italoeuropeo.com, su italoeuropeo.com. URL consultato il 22 luglio 2013 (archiviato dall'url originale il 22 luglio 2013).

Controllo di autorità	VIAF (EN) 285509971 · ISNI (EN) 0000 0003 5247 1317 · LCCN (EN) nb2016006470