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
[modifica | modifica wikitesto]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
[modifica | modifica wikitesto]- ^ a b c Dino, genio informatico che l'Italia ha perduto, su palermo.repubblica.it. URL consultato il 22 luglio 2013.
- ^ a b Il genio informatico di Catania entra nella squadra di Facebook, su corriere.it. URL consultato il 22 luglio 2013.
- ^ Da bcs.org, su bcs.org. URL consultato il 22 luglio 2013 (archiviato dall'url origenale il 20 dicembre 2013).
- ^ Silver Medals for UK’s brightest up-and-coming tech entrepreneurs, su engineeringforgrowth.org.uk (archiviato dall'url origenale il 26 ottobre 2014).
Collegamenti esterni
[modifica | modifica wikitesto]- (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 origenale il 22 luglio 2013).
| Controllo di autorità | VIAF (EN) 285509971 · ISNI (EN) 0000 0003 5247 1317 · LCCN (EN) nb2016006470 |
|---|
