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.

§Entrées associées

Universitaire

Jono Bacon

Writer and software engineer

1979 – présent · Royaume-Uni

Universitaire

Martyn Amos

British computer scientist

1971 – présent · Royaume-Uni

Universitaire

Memo Akten

Multidisciplinary artist, computer scientist and researcher

1975 – présent · Royaume-Uni

Universitaire

Peter J. Bentley

British author and computer scientist

1972 – présent · Royaume-Uni

Universitaire

Simon Colton

British computer scientist

1973 – présent · Royaume-Uni

Universitaire

Simon Tatham

British free-software developer

1977 – présent · Royaume-Uni