레스 해튼

지구물리학에서 소프트웨어 신뢰성으로의 전환은 1948년에 태어난 영국의 컴퓨터 과학자이자 수학자인 레스 해튼(Les Hatton)의 전문적 궤적을 정의합니다. 그의 경력은 복잡한 물리 시뮬레이션에서 상업용 임베디드 제어 시스템에 내재된 취약점과 언어별 프로그래밍 위험에 대한 형식적 연구로 이동하면서 소프트웨어 오류의 역학에 대한 기초 연구를 아우릅니다.

초기 학술 교육

해튼은 케임브리지 대학교 킹스 칼리지에서 정규 교육을 시작하여 1967년부터 1970까지 공부했습니다. 그 후 맨체스터 대학교를 다녔습니다. 그의 대학원 연구는 두 가지 서로 다른 물리적 현상에 초점을 맞추었습니다. 상대론적 플라스마 내의 정전기파 연구로 이석학 석사 학위를 받았고, 1973년에 철학 박사 학위를 취득했습니다. 그의 박사 학위 논문은 전산 유체 역학, 특히 토네이도의 물리학을 전문으로 다루었습니다.

지구물리학 및 산업 연구

전문가 생활 초기 에 해튼은 지구물리학에 집중했습니다. 이 분야는 거의 20년 동안 그의 주요 실무 분야로 남았으며, 전산 기여로 상당한 인정을 받았습니다. 1987년에는 전산 지구물리학에 미친 영향을 반영하는 콘라트 슐룸베르거 상(Conrad Schlumberger Award)을 받았습니다. 경력의 상당 부분 동안 그는 민간 부문에서 활동했으며, 특히 오크우드 컴퓨팅 어소시에이츠(Oakwood Computing Associates)에서 일했습니다.

소프트웨어 포렌식 공학으로의 진화

1990년대 초반, 해튼은 시스템 및 소프트웨어 오류 분석으로 초점을 전환했습니다. 그의 저술에는 4권의 책과 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는 그를 해당 분야의 선도적인 학자로 인정했습니다.

무료 테스트

당신은 얼마일까요?

스무 문제, 8분 제한 시간, 그리고 응시자 전체와 비교한 백분위. 가입 없음.

IQ 테스트 하기 →

현재 학술 및 연구 관심사

해튼은 런던 킹스턴 대학교에서 포렌식 소프트웨어 공학 교수로 재직 중입니다. 그의 최근 학술적 성과는 소프트웨어 안전을 넘어 창던지기의 공기역학 및 휴대전화 충전 시스템에서 관찰되는 인공 복잡성 연구를 포함한 광범위한 관심을 보여줍니다. 또한 결함 데이터베이스의 비구조화된 텍스트 내에서 패턴을 식별하도록 설계된 새로운 문헌 검색 알고리즘을 개발했습니다.