Les Hatton

Last updated

Les Hatton
Les Hatton 1.JPG
Born (1948-02-05) 5 February 1948 (age 75)
NationalityBritish
Alma mater King's College, Cambridge
Known forSafer C book
Awards Conrad Schlumberger Award (1987)
Scientific career
FieldsSoftware engineering
Institutions Kingston University,
University of Manchester,
University of Cambridge
Thesis On the dynamics of concentrated atmospheric vortices  (1973)
Website www.leshatton.org

Les Hatton (born 5 February 1948) is a British-born computer scientist and mathematician most notable for his work on failures and vulnerabilities in software controlled systems.

He was educated at King's College, Cambridge 1967–1970 and the University of Manchester where he received a Master of Science degree in electrostatic waves in relativistic plasma [1] and a Doctor of Philosophy in 1973 [2] for his work on computational fluid dynamics in tornadoes.

Although originally a geophysicist, a career for which he was awarded the 1987 Conrad Schlumberger Award [3] for his work in computational geophysics, he switched careers in the early 1990s to study software and systems failure. He has published 4 books and over 100 refereed journal publications [4] [5] and his theoretical and experimental work on software systems failure can be found in IEEE Transactions on Software Engineering, [6] IEEE Computer, [7] IEEE Software, [8] [9] Nature, [10] and IEEE Computational Science and Engineering. [11] His book Safer C [12] pioneered the use of safer language subsets in commercial embedded control systems. He was also cited amongst the leading scholars of systems and software engineering by the Journal of Systems and Software for the period 1997–2001.

Primarily a computer scientist nowadays, he retains wide interests and has published recently on artificial complexity in mobile phone charging, the aerodynamics of javelins and novel bibliographic search algorithms for unstructured text to extract patterns from defect databases. [13]

After spending most of his career in industry working for Oakwood Computing Associates, [14] he is currently a professor of Forensic Software Engineering at Kingston University, London. [3]

Related Research Articles

<span class="mw-page-title-main">Steve Furber</span> British computer scientist

Stephen Byram Furber is a British computer scientist, mathematician and hardware engineer, currently the ICL Professor of Computer Engineering in the Department of Computer Science at the University of Manchester, UK. After completing his education at the University of Cambridge, he spent the 1980s at Acorn Computers, where he was a principal designer of the BBC Micro and the ARM 32-bit RISC microprocessor. As of 2018, over 100 billion copies of the ARM processor have been manufactured, powering much of the world's mobile computing and embedded systems.

<span class="mw-page-title-main">Ariane flight V88</span> Failed maiden flight of Ariane 5, 1996

Ariane flight V88 was the failed maiden flight of the Arianespace Ariane 5 rocket, vehicle no. 501, on 4 June 1996. It carried the Cluster spacecraft, a constellation of four European Space Agency research satellites.

<span class="mw-page-title-main">Jack Dongarra</span> American computer scientist (born 1950)

Jack Joseph Dongarra is an American computer scientist and mathematician. He is the American University Distinguished Professor of Computer Science in the Electrical Engineering and Computer Science Department at the University of Tennessee. He holds the position of a Distinguished Research Staff member in the Computer Science and Mathematics Division at Oak Ridge National Laboratory, Turing Fellowship in the School of Mathematics at the University of Manchester, and is an adjunct professor in the Computer Science Department at Rice University. He served as a faculty fellow at the Texas A&M University Institute for Advanced Study (2014–2018). Dongarra is the founding director of the Innovative Computing Laboratory at the University of Tennessee. He was the recipient of the Turing Award in 2021.

A software requirements specification (SRS) is a description of a software system to be developed. It is modeled after business requirements specification(CONOPS). The software requirements specification lays out functional and non-functional requirements, and it may include a set of use cases that describe user interactions that the software must provide to the user for perfect interaction.

Shahid H. Bokhari is a highly cited Pakistani researcher in the field of parallel and distributed computing. He is a fellow of both IEEE and ACM. Bokhari's ACM Fellow citation states that he received the award for his "research contributions to automatic load balancing and partitioning of distributed processes", while his IEEE Fellow award recognises his "contributions to the mapping problem in parallel and distributed computing".

Paul Alexander Desmond de Maine was a leading figure in the early development of computer-based automatic indexing and information retrieval and one of the founders of academic computer science in the 1960s.

Cactus is an open-source, problem-solving environment designed for scientists and engineers. Its modular structure enables parallel computation across different architectures and collaborative code development between different groups. Cactus originated in the academic research community, where it was developed and used over many years by a large international collaboration of physicists and computational scientists.

<span class="mw-page-title-main">Mark Horowitz</span> American electrical engineer (1957-)

Mark A. Horowitz is the Yahoo! Founders Professor in the School of Engineering at Stanford University and holds a joint appointment in the Electrical Engineering and Computer Science department. He is a co-founder of Rambus Inc., now a technology licensing company.

Search-based software engineering (SBSE) applies metaheuristic search techniques such as genetic algorithms, simulated annealing and tabu search to software engineering problems. Many activities in software engineering can be stated as optimization problems. Optimization techniques of operations research such as linear programming or dynamic programming are often impractical for large scale software engineering problems because of their computational complexity or their assumptions on the problem structure. Researchers and practitioners use metaheuristic search techniques, which impose little assumptions on the problem structure, to find near-optimal or "good-enough" solutions.

Virgil Dorin Gligor is a Romanian-American professor of electrical and computer engineering who specializes in the research of network security and applied cryptography.

<span class="mw-page-title-main">Magnus Egerstedt</span> Swedish-American roboticist

Magnus B. Egerstedt is a Swedish-American roboticist who is the Dean of the Henry Samueli School of Engineering at the University of California, Irvine. He was formerly the Steve C. Chaddick School Chair and Professor at the School of Electrical and Computer Engineering, Georgia Institute of Technology.

The Conrad Schlumberger Award is an award given to one of the members of European Association of Geoscientists and Engineers. The award is given each year to one that has made an outstanding contribution over a period of time to the scientific and technical advancement of the geosciences, particularly geophysics. The award is made annually by the EAGE Board.

<span class="mw-page-title-main">Christopher R. Johnson</span> American computer scientist

Christopher Ray Johnson is an American computer scientist. He is a Distinguished Professor of Computer Science at the University of Utah, and founding director of the Scientific Computing and Imaging Institute (SCI). His research interests are in the areas of scientific computing and scientific visualization.

<span class="mw-page-title-main">James John Miles</span> Academic

James John Miles is a retired Professor of Computer Engineering in the School of Computer Science at the University of Manchester where he previously was head of the school and a member of the Nano Engineering & Storage Technology Research Group (NEST).

Linda Ann Macaulay is the Emeritus Professor of System Design at the University of Manchester, specialising in Human–computer interaction, Requirements engineering and Service science, management and engineering.

<span class="mw-page-title-main">Norman Fenton</span> British mathematician and computer scientist

Norman E. Fenton is a British mathematician and computer scientist. He is the Professor of Risk Information Management in the School of Electronic Engineering and Computer Science at Queen Mary University of London. He is known for his work in software metrics and is the author of the textbook Software Metrics: A Rigorous Approach, as of 2014 in its third edition.

<span class="mw-page-title-main">René Vidal</span>

René Vidal is a Chilean electrical engineer and computer scientist who is known for his research in machine learning, computer vision, medical image computing, robotics, and control theory. He is the Herschel L. Seder Professor of the Johns Hopkins Department of Biomedical Engineering, and the founding director of the Mathematical Institute for Data Science (MINDS).

<span class="mw-page-title-main">Weng Cho Chew</span> Malaysian-American electrical engineer

Weng Cho Chew is a Malaysian-American electrical engineer and applied physicist known for contributions to wave physics, especially computational electromagnetics. He is a Distinguished Professor of Electrical and Computer Engineering at Purdue University.

<span class="mw-page-title-main">Robert France</span> Jamaica-born American computer scientist

Robert Bertrand France was a Jamaica-born American computer scientist.

Lyle Norman Long is an academic, and computational scientist. He is a Professor Emeritus of Computational Science, Mathematics, and Engineering at The Pennsylvania State University, and is most known for developing algorithms and software for mathematical models, including neural networks, and robotics. His research has been focused in the fields of computational science, computational neuroscience, cognitive robotics, parallel computing, and software engineering.

References

  1. ↑ Hatton, Les (1971). Electrostatic waves in a relativistic plasma (MSc thesis). University of Manchester. Archived from the original on 23 December 2012.
  2. ↑ Hatton, Les (1973). On the dynamics of concentrated atmospheric vortices (PhD thesis). University of Manchester. Archived from the original on 23 December 2012.
  3. 1 2 "Prof Les Hatton Esteem". Kingston University. Archived from the original on 19 July 2011. Retrieved 18 February 2010. His official page at the Kingston University: "54. European Conrad Schlumberger Award 1987 for computational geophysics"
  4. ↑ https://scholar.google.com/scholar?&q=les+hatton Les Hatton's publications in Google Scholar
  5. ↑ Les Hatton at DBLP Bibliography Server OOjs UI icon edit-ltr-progressive.svg
  6. ↑ Hatton, L. (2009). "Power-Law Distributions of Component Size in General Software Systems". IEEE Transactions on Software Engineering. 35 (4): 566–572. doi:10.1109/TSE.2008.105. S2CID   17785956.
  7. ↑ Pfleeger, S. L.; Hatton, L. (1997). "Investigating the influence of formal methods". Computer. 30 (2): 33. doi:10.1109/2.566148.
  8. ↑ Hatton, L. (1998). "Does OO sync with how we think?". IEEE Software. 15 (3): 46–54. doi:10.1109/52.676735.
  9. ↑ Hatton, L. (1997). "Reexamining the fault density component size connection". IEEE Software. 14 (2): 89–97. doi:10.1109/52.582978.
  10. ↑ Ince, D. C.; Hatton, L.; Graham-Cumming, J. (2012). "The case for open computer programs". Nature. 482 (7386): 485–488. Bibcode:2012Natur.482..485I. doi: 10.1038/nature10836 . PMID   22358837.
  11. ↑ Hatton, L. (1997). "The T experiments: Errors in scientific software". IEEE Computational Science and Engineering. 4 (2): 27–38. CiteSeerX   10.1.1.105.3922 . doi:10.1109/99.609829. S2CID   6798571.
  12. ↑ Hatton, Les (1995). Safer C: developing software for high-integrity and safety- critical systems. New York: McGraw-Hill. ISBN   978-0-07-707640-5.
  13. ↑ Hatton, Les (2011). Email Forensics: Eliminating Spam, Scams and Phishing. BlueSpear Publishing. p. 350. ISBN   978-1908422002.
  14. ↑ Oakwood Computing Associates Ltd. (Managing director)


This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.