Les Hatton

La transition de la géophysique vers la fiabilité des logiciels définit la trajectoire professionnelle de Les Hatton, un informaticien et mathématicien britannique né en 1948. Sa carrière englobe des recherches fondamentales sur la mécanique des défaillances logicielles, passant de simulations physiques complexes à l'étude formelle des vulnérabilités inhérentes aux systèmes de commande embarqués commerciaux et aux risques de programmation propres aux langages.

Formation académique initiale

Hatton a commencé ses études supérieures au King's College de Cambridge, où il a étudié de 1967 à 1970. Il a ensuite fréquenté l'Université de Manchester. Ses recherches de troisième cycle se sont concentrées sur deux phénomènes physiques distincts : il a obtenu une maîtrise ès sciences pour ses recherches sur les ondes électrostatiques dans le plasma relativiste, suivies d'un doctorat en 1973. Sa thèse de doctorat était spécialisée dans la dynamique des fluides numérique, traitant spécifiquement de la physique des tornades.

Géophysique et recherche industrielle

Au début de sa vie professionnelle, Hatton s'est concentré sur la géophysique. Ce domaine est resté son principal domaine d'activité pendant près de deux décennies, lui valant une reconnaissance significative pour ses contributions computationnelles. En 1987, il a reçu le prix Conrad Schlumberger, une distinction reflétant son impact sur la géophysique computationnelle. Pendant une grande partie de sa carrière, il a exercé dans le secteur privé, travaillant notamment avec Oakwood Computing Associates.

Évolution vers l'ingénierie forensique logicielle

Au début des années 1990, Hatton a réorienté ses recherches vers l'analyse des défaillances de systèmes et de logiciels. Son œuvre comprend quatre livres et plus de 100 publications dans des revues à comité de lecture. Il a notamment écrit Safer C, un ouvrage plaidant pour l'adoption de sous-ensembles de langages plus sûrs pour les systèmes de commande embarqués commerciaux. Ses recherches ont été publiées dans des revues telles que Nature, IEEE Computer, IEEE Software, IEEE Transactions on Software Engineering et IEEE Computational Science and Engineering. Entre 1997 et 2001, le Journal of Systems and Software l'a désigné comme un chercheur de premier plan dans son domaine.

Intérêts académiques et de recherche actuels

Hatton est professeur d'ingénierie forensique logicielle à l'Université de Kingston à Londres. Ses publications récentes témoignent d'un large éventail d'intérêts allant au-delà de la sécurité des logiciels, notamment l'aérodynamique des javelots et l'étude de la complexité artificielle observée dans les systèmes de charge des téléphones mobiles. De plus, il a développé de nouveaux algorithmes de recherche bibliographique conçus pour identifier des motifs dans du texte non structuré provenant de bases de données de défauts.

En bref

- Né en : 1948 - Nationalité : Royaume-Uni - Éducation : King's College, Université de Manchester - Année du doctorat : 1973 - Distinctions majeures : Prix Conrad Schlumberger 1987 - Poste actuel : Professeur d'ingénierie forensique logicielle, Université de Kingston

Questions fréquentes

### Quel est l'objectif principal des travaux de Hatton sur les logiciels forensiques ?

Il se concentre sur l'analyse des pannes et des vulnérabilités dans les systèmes contrôlés par logiciel.

### Quel a été le sujet de ses recherches doctorales ?

Ses travaux de doctorat de 1973 portaient sur la dynamique des fluides numérique appliquée aux tornades.