Jeofizikten yazılım güvenilirliğine geçiş, 1948 doğumlu Britanyalı bilgisayar bilimcisi ve matematikçi Les Hatton'ın profesyonel kariyerini tanımlar. Kariyeri, karmaşık fiziksel simülasyonlardan ticari gömülü kontrol sistemlerine ve dile özgü programlama risklerine içkin zafiyetlerin resmi çalışılmasına geçerek yazılım arızalarının mekaniğine yönelik temel araştırmaları kapsamaktadır.
Erken Akademik Eğitim
Hatton, örgün eğitimine 1967'den 1970'e kadar eğitim gördüğü Cambridge King's College'da başladı. Ardından Manchester Üniversitesi'ne devam etti. Lisansüstü araştırmaları iki farklı fiziksel olguya odaklandı: göreceli plazma içindeki elektrostatik dalgalar üzerine yaptığı araştırmayla Fen Bilimleri Yüksek Lisans derecesi kazandı, ardından 1973 yılında Felsefe Doktoru (PhD) unvanını aldı. Doktora tezi hesaplamalı akışkanlar dinamiği, özellikle de hortumların fiziği üzerine uzmanlaştı.
Jeofizik ve Endüstri Araştırmaları
Profesyonel yaşamının başlarında Hatton jeofizike odaklandı. Bu alan, yaklaşık iki yıl boyunca temel uygulama alanı olarak kaldı ve hesaplamalı katkıları nedeniyle önemli bir takdir topladı. 1987 yılında, hesaplamalı jeofizik üzerindeki etkisini yansıtan bir onur olan Conrad Schlumberger Ödülü'nü aldı. Kariyerinin büyük bir bölümünde özel sektörde faaliyet gösterdi, özellikle Oakwood Computing Associates ile çalıştı.
Yazılım Adli Mühendisliğine Evrim
1990'ların başlarında Hatton odak noktasını sistem ve yazılım arızası analizine kaydırdı. Çalışmaları dört kitap ve 100'den fazla hakemli dergi yayını içermektedir. Özellikle, ticari gömülü kontrol sistemleri için daha güvenli dil alt kümelerinin benimsenmesini savunan Safer C adlı metnin yazarıdır. Araştırmaları Nature, IEEE Computer, IEEE Software, IEEE Transactions on Software Engineering ve IEEE Computational Science and Engineering gibi mecralarda yer aldı. 1997 ile 2001 yılları arasında Journal of Systems and Software tarafından alanında önde gelen bir akademisyen olarak kabul edildi.
Mevcut Akademik ve Araştırma İlgi Alanları
Hatton, Londra'daki Kingston Üniversitesi'nde Adli Yazılım Mühendisliği profesörü olarak görev yapmaktadır. Son akademik çıktıları, yazılım güvenliğinin ötesinde cirit aerodinamiği ve cep telefonu şarj sistemlerinde gözlenen yapay karmaşıklık çalışması dahil olmak üzere geniş bir ilgi yelpazesi göstermektedir. Ek olarak, kusur veritabanlarındaki yapılandırılmamış metinler içindeki kalıpları belirlemek için tasarlanmış yeni bibliyografik arama algoritmaları geliştirmiştir.
Kısa Bilgiler
- Doğum: 1948 - Vatandaşlık: Birleşik Krallık - Eğitim: King's College, Manchester Üniversitesi - Doktora Yılı: 1973 - Başlıca Ödül: 1987 Conrad Schlumberger Ödülü - Mevcut Konum: Adli Yazılım Mühendisliği Profesörü, Kingston Üniversitesi
Okuyucuların Sorduğu Sorular
### Hatton'ın adli yazılım çalışmasının birincil odak noktası nedir?
Yazılım kontrollü sistemlerdeki arızaları ve zafiyetleri analiz etmeye odaklanmaktadır.
### Doktora araştırmasının konusu neydi?
1973 yılındaki doktora çalışması, hortumlara uygulanan hesaplamalı akışkanlar dinamiği üzerine odaklanmıştır.
.jpg)
