Byron Cook (computer scientist)

Dr. Byron Cook is an American computer science researcher at University College London. Byron's research interests include program analysis/verification, programming languages, theorem proving, logic, hardware design, and operating systems. Byron's recent work has been focused on the development of automatic tools forProving properties of biological models, Termination and liveness proving, and Discovering invariants regarding mutable data structures.

§Related entries

Academic

Jono Bacon

Writer and software engineer

1979 – present · United Kingdom

Academic

Martyn Amos

British computer scientist

1971 – present · United Kingdom

Academic

Memo Akten

Multidisciplinary artist, computer scientist and researcher

1975 – present · United Kingdom

Academic

Peter J. Bentley

British author and computer scientist

1972 – present · United Kingdom

Academic

Simon Colton

British computer scientist

1973 – present · United Kingdom

Academic

Simon Tatham

British free-software developer

1977 – present · United Kingdom