Byron Cook (computer scientist)

{{Use dmy dates|date=April 2022}}

{{BLP sources|date=September 2011}}

{{Infobox person

| name = Dr. Byron Cook

| image =

| alt =

| caption =

| birth_name =

| birth_date =

| birth_place =

| death_date =

| death_place =

| nationality = American

| other_names =

| known_for = Termination analysis

| occupation = computer science researcher

}}

Dr. Byron Cook is an American computer science researcher at University College London.{{cite web|url=http://www.ucl.ac.uk/|title=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,{{cite web|url=http://research.microsoft.com/en-us/projects/t2/ |title=T2 project website |url-status=dead |archiveurl=https://web.archive.org/web/20150626172004/http://research.microsoft.com/en-us/projects/t2/ |archivedate=2015-06-26 }} and
• Discovering invariants regarding mutable data structures.{{cite web |url=http://research.microsoft.com/slayer |title=SLAyer project website |url-status=dead |archiveurl=https://web.archive.org/web/20081208053256/http://research.microsoft.com/SLAyer/ |archivedate=2008-12-08 }}