La transizione dalla geofisica all'affidabilità del software definisce la traiettoria professionale di Les Hatton, un informatico e matematico britannico nato nel 1948. La sua carriera comprende ricerche fondamentali sulla meccanica dei guasti del software, passando da simulazioni fisiche complesse allo studio formale delle vulnerabilità intrinseche nei sistemi di controllo embedded commerciali e ai rischi di programmazione specifici dei linguaggi.
Formazione accademica iniziale
Hatton ha iniziato la sua formazione formale al King's College di Cambridge, dove ha studiato dal 1967 al 1970. Successivamente ha frequentato l'Università di Manchester. La sua ricerca post-laurea si è concentrata su due distinti fenomeni fisici: ha conseguito un Master of Science per le sue ricerche sulle onde elettrostatiche nel plasma relativistico, seguito da un dottorato di ricerca (PhD) nel 1973. La sua tesi di dottorato era specializzata in fluidodinamica computazionale, affrontando in particolare la fisica dei tornado.
Geofisica e ricerca industriale
All'inizio della sua vita professionale, Hatton si è concentrato sulla geofisica. Questo campo è rimasto la sua principale area di attività per quasi due decenni, portandoli a un significativo riconoscimento per i suoi contributi computazionali. Nel 1987 ha ricevuto il premio Conrad Schlumberger, un riconoscimento che riflette il suo impatto sulla geofisica computazionale. Per gran parte della sua carriera ha operato nel settore privato, lavorando in particolare con Oakwood Computing Associates.
Evoluzione nell'ingegneria forense del software
All'inizio degli anni '90, Hatton ha spostato la sua attenzione sull'analisi dei guasti di sistemi e software. Il suo lavoro comprende quattro libri e oltre 100 pubblicazioni su riviste peer-reviewed. In particolare, ha scritto Safer C, un testo che sosteneva l'adozione di subset di linguaggi più sicuri per i sistemi di controllo embedded commerciali. La sua ricerca è apparsa su riviste tra cui Nature, IEEE Computer, IEEE Software, IEEE Transactions on Software Engineering e IEEE Computational Science and Engineering. Tra il 1997 e il 2001, il Journal of Systems and Software lo ha riconosciuto come un autorevole studioso nel suo campo.
Venti domande, otto minuti di orologio e un percentile misurato su tutti quelli che l’hanno fatto. Senza registrazione.
Fai il test del QI →Interessi accademici e di ricerca attuali
Hatton è professore di ingegneria forense del software presso la Kingston University di Londra. La sua recente produzione scientifica dimostra una vasta gamma di interessi che vanno oltre la sicurezza del software, tra cui l'aerodinamica dei giavellotti e lo studio della complessità artificiale osservata nei sistemi di ricarica dei telefoni cellulari. Inoltre, ha sviluppato nuovi algoritmi di ricerca bibliografica progettati per identificare modelli all'interno di testo non strutturato proveniente da database di difetti.
In breve
- Nato: 1948 - Cittadinanza: Regno Unito - Istruzione: King's College, Università di Manchester - Anno del dottorato: 1973 - Riconoscimento principale: Premio Conrad Schlumberger 1987 - Posizione attuale: Professore di ingegneria forense del software, Kingston University
Domande frequenti
### Qual è l'obiettivo principale del lavoro di Hatton sul software forense?
Si concentra sull'analisi di guasti e vulnerabilità nei sistemi controllati da software.
### Qual è stato l'oggetto della sua ricerca di dottorato?
Il suo lavoro di dottorato del 1973 si è concentrato sulla fluidodinamica computazionale applicata ai tornado.
.jpg)
