Dr. Byron Cook is an American

computer science Computer science is the study of computation, automation, and information. Computer science spans theoretical disciplines (such as algorithms, theory of computation, information theory, and automation) to practical disciplines (includin ...

researcher at

University College London , mottoeng = Let all come who by merit deserve the most reward , established = , type = Public research university , endowment = £143 million (2020) , budget = � ...

. Byron's research interests include

program analysis In computer science, program analysis is the process of automatically analyzing the behavior of computer programs regarding a property such as correctness, robustness, safety and liveness. Program analysis focuses on two major areas: program o ...

verification Verify or verification may refer to: General * Verification and validation, in engineering or quality management systems, is the act of reviewing, inspecting or testing, in order to establish and document that a product, service or system meets ...

, programming languages,

theorem proving Automated theorem proving (also known as ATP or automated deduction) is a subfield of automated reasoning and mathematical logic dealing with proving mathematical theorems by computer programs. Automated reasoning over mathematical proof was a ma ...

, logic, hardware design, and

operating systems An operating system (OS) is system software that manages computer hardware, software resources, and provides common daemon (computing), services for computer programs. Time-sharing operating systems scheduler (computing), schedule tasks for ef ...

. Byron's recent work has been focused on the development of automatic tools for * Proving properties of biological models, * Termination and liveness proving, and * Discovering invariants regarding mutable data structures.

Awards and Prizes

In 2009, Cook won the

Roger Needham Award The Roger Needham award is a prize given scientists who are recognised for important contributions made to computer science research The British Computer Society established an annual Roger Needham Award in honour of Roger Needham in 2004. It is a ...

. His public lecture was on "Proving that programs eventually do something good". Cook was elected as a Fellow of the Royal Academy of Engineers in 2019.

References

External links

* http://www0.cs.ucl.ac.uk/staff/b.cook/ {{DEFAULTSORT:Cook, Byron Year of birth missing (living people) Living people British computer scientists