המעבר מגיאופיזיקה לאמינות תוכנה מגדיר את המסלול המקצועי של לס האטון (Les Hatton), מדען מחשב ומתמטיקאי בריטי שנולד ב-1948. הקריירה שלו כוללת מחקר יסודי במכניקה של כשלים בתוכנה, החל מסימולציות פיזיקליות מורכבות ועד למחקר רשמי של פגיעויות הטבועות במערכות בקרה מוטמעות מסחריות ובסיכוני תכנות ספציפיים לשפות.
הכשרה אקדמית מוקדמת
האטון החל את לימודיו הרשמיים בקינגס קולג' (King's College), קיימברידג', שם למד בין השנים 1967 עד 1970. לאחר מכן למד באוניברסיטת מנצ'סטר (University of Manchester). מחקרו לתארים מתקדמים התמקד בשתי תופעות פיזיקליות נפרדות: הוא קיבל תואר שני במדעים עבור חקירתו של גלים אלקטרוסטטיים בתוך פלזמה יחסותית, ולאחר מכן תואר דוקטור בשנת 1973. עבודת הדוקטורט שלו התמחתה בדינמיקה חישובית של נוזלים, תוך התייחסות ספציפית לפיזיקה של טורנדו.
גיאופיזיקה ומחקר תעשייתי
בתחילת חייו המקצועיים, האטון התמקד בגיאופיזיקה. תחום זה נותר תחום העיסוק העיקרי שלו במשך כמעט שני עשורים, מה שהוביל להכרה משמעותית בתרומותיו החישוביות. בשנת 1987 הוא קיבל את פרס קונרד שלומברגר (Conrad Schlumberger Award), כבוד המשקף את השפעתו על הגיאופיזיקה החישובית. במשך רוב הקריירה שלו, הוא פעל במגזר הפרטי, ועבד בולטות עם חברת Oakwood Computing Associates.
התפתחות להנדסה פורנזית של תוכנה
במהלך תחילת שנות ה-90, העביר האטון את המיקוד שלו לכיוון ניתוח של מערכות וכשלים בתוכנה. גוף העבודה שלו כולל ארבעה ספרים ויותר מ-100 פרסומים בכתבי עת שעברו ביקורת עמיתים. בולט מביניהם הוא הספר שכתב, Safer C, אשר דגל באימוץ תתי-שפות בטוחות יותר עבור מערכות בקרה מוטמעות מסחריות. מחקריו הופיעו בפרסומים כגון Nature, IEEE Computer, IEEE Software, IEEE Transactions on Software Engineering, ו-IEEE Computational Science and Engineering. בין השנים 1997 ל-2001, כתב העת Journal of Systems and Software הכיר בו כחוקר מוביל בתחומו.
Twenty questions, eight minutes on the clock, and a percentile measured against everyone who has taken it. No sign-up.
Take the IQ test →תחומי עניין אקדמיים ומחקריים נוכחיים
האטון משמש כפרופסור להנדסה פורנזית של תוכנה באוניברסיטת קינגסטון (Kingston University) בלונדון. תפוקתו המחקרית האחרונה מדגימה מגוון רחב של תחומי עניין מעבר לבטיחות תוכנה, כולל אווירודינמיקה של כידונים וחקר המורכבות המלאכותית הנצפית במערכות טעינה של טלפונים ניידים. בנוסף, הוא פיתח אלגוריתמים חדשניים לחיפוש ביבליוגרפי שנועדו לזהות דפוסים בתוך טקסט לא מובנה ממאגרי נתונים של פגמים.
עובדות מהירות
- לידה: 1948 - אזרחות: הממלכה המאוחדת - השכלה: קינגס קולג', אוניברסיטת מנצ'סטר - שנת דוקטורט: 1973 - פרס מרכזי: פרס קונרד שלומברגר 1987 - תפקיד נוכחי: פרופסור להנדסה פורנזית של תוכנה, אוניברסיטת קינגסטון
שאלות נפוצות של קוראים
### מהו המיקוד העיקרי של עבודתו הפורנזית של האטון בתוכנה?
הוא מתמקד בניתוח כשלים ופגיעויות במערכות מבוקרות תוכנה.
### מה היה נושא מחקר הדוקטורט שלו?
עבודת הדוקטורט שלו משנת 1973 התמקדה בדינמיקה חישובית של נוזלים כפי שהיא מיושמת על סופות טורנדו.