Byron Cook (computer scientist)
id:
byron-cook-computer-scientist-282-12341054
title:
Byron Cook (computer scientist)
text:
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 for Proving properties of biological models,
Termination and liveness proving, and
Discovering invariants regarding mutable data structures.
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Byron_Cook_(computer_scientist)
date created:
date modified:
2023-01-31T08:14:13Z
main entity:
{"identifier":"Q5004332","url":"https://www.wikidata.org/entity/Q5004332"}
image:
fields total:
13
integrity:
13