Лес Хаттон - Википедия - Les Hatton

Les Hatton
Лес Хаттон 1.JPG
Родившийся (1948-02-05) 5 февраля 1948 г. (возраст 72)
НациональностьБританский
Альма-матерКоролевский колледж, Кембридж
ИзвестенБезопаснее C книга
НаградыПремия Конрада Шлюмберже (1987)
Научная карьера
ПоляПрограммная инженерия
УчрежденияКингстонский университет,
Манчестерский университет,
Кембриджский университет
ТезисО динамике концентрированных атмосферных вихрей  (1973)
Интернет сайтwww.leshatton.org

Les Hatton (родился 5 февраля 1948 г.), родился в Великобритании. специалист в области информатики и математик, наиболее известный своей работой над ошибками и уязвимостями в программно-управляемых системах.

Он получил образование в Королевский колледж, Кембридж 1967–1970 гг. И Манчестерский университет где получил степень магистра наук в электростатические волны в релятивистская плазма[1] и доктор философских наук в 1973 г.[2] за его работу над вычислительная гидродинамика в торнадо.

Хотя изначально он был геофизиком, карьера, за которую он был награжден премией 1987 г. Премия Конрада Шлюмберже[3] за его работу в вычислительная геофизика, он сменил карьеру в начале 1990-х, чтобы изучать сбои программного обеспечения и систем. Опубликовал 4 книги и более 100 реферируемых журнальных публикаций.[4][5] а его теоретические и экспериментальные работы по отказу программных систем можно найти в IEEE Transactions по разработке программного обеспечения,[6] IEEE Computer,[7] Программное обеспечение IEEE,[8][9] Природа,[10] и IEEE в области вычислительной науки и техники.[11] Его книга Безопаснее C[12] является пионером в использовании более безопасных языковых подмножеств в коммерческих встроенных системах управления. Он также был назван одним из ведущих ученых в области системной и программной инженерии. Журнал систем и программного обеспечения за период 1997–2001 гг.

В настоящее время он, прежде всего, ученый-компьютерщик, но он сохраняет широкие интересы и недавно опубликовал статьи об искусственной сложности зарядки мобильных телефонов, аэродинамике копья и новые алгоритмы библиографического поиска неструктурированного текста для извлечения шаблонов из баз данных дефектов.[13]

Проведя большую часть своей карьеры в промышленности, работая в Oakwood Computing Associates,[14] в настоящее время он является профессором судебной инженерии программного обеспечения в Кингстонский университет, Лондон.[3]

Рекомендации

  1. ^ Хаттон, Лес (1971). Электростатические волны в релятивистской плазме (Магистерская диссертация). Манчестерский университет. Архивировано из оригинал 23 декабря 2012 г.
  2. ^ Хаттон, Лес (1973). О динамике концентрированных атмосферных вихрей (Кандидатская диссертация). Манчестерский университет. Архивировано из оригинал 23 декабря 2012 г.
  3. ^ а б "Профессор Лес Хаттон Эстим". Кингстонский университет. Архивировано из оригинал 18 февраля 2010 г.. Получено 18 февраля 2010. Его официальная страница в Кингстонском университете: «54. Европейская премия Конрада Шлюмберже 1987 года в области вычислительной геофизики»
  4. ^ https://scholar.google.com/scholar?&q=les+hatton Публикации Леса Хаттона в Google ученый
  5. ^ Les Hatton в DBLP Сервер библиографии Отредактируйте это в Викиданных
  6. ^ Хаттон, Л. (2009). "Степенные распределения размера компонентов в общих программных системах". IEEE Transactions по разработке программного обеспечения. 35 (4): 566–572. Дои:10.1109 / TSE.2008.105. S2CID  17785956.
  7. ^ Pfleeger, S.L .; Хаттон, Л. (1997). «Исследование влияния формальных методов». Компьютер. 30 (2): 33. Дои:10.1109/2.566148.
  8. ^ Хаттон, Л. (1998). «OO синхронизируется с тем, как мы думаем?». Программное обеспечение IEEE. 15 (3): 46–54. Дои:10.1109/52.676735.
  9. ^ Хаттон, Л. (1997). «Пересмотр соединения размера компонента плотности разлома». Программное обеспечение IEEE. 14 (2): 89–97. Дои:10.1109/52.582978.
  10. ^ Ince, D.C .; Хаттон, Л.; Грэм-Камминг, Дж. (2012). «Дело в пользу открытых компьютерных программ». Природа. 482 (7386): 485–488. Bibcode:2012Натура.482..485I. Дои:10.1038 / природа10836. PMID  22358837.
  11. ^ Хаттон, Л. (1997). «Эксперименты Т: ошибки в научном программном обеспечении». IEEE Вычислительная наука и инженерия. 4 (2): 27–38. CiteSeerX  10.1.1.105.3922. Дои:10.1109/99.609829.
  12. ^ Хаттон, Лес (1995). Safer C: разработка программного обеспечения для систем с высоким уровнем целостности и безопасности.. Нью-Йорк: Макгроу-Хилл. ISBN  978-0-07-707640-5.
  13. ^ Хаттон, Лес (2011). Электронная экспертиза: устранение спама, мошенничества и фишинга. Издательство BlueSpear. п. 350. ISBN  978-1908422002.
  14. ^ Oakwood Computing Associates Ltd. (Управляющий)