Byron Cook @byroncook X Profile

Byron Cook

@byroncook

Followers

2K

Following

139

Media

32

Statuses

163

logic, math, proof, computation

Joined February 2009

Don't wanna be here? Send us removal request.

Byron Cook

@byroncook

2 years

I gave a talk at Univ. of Washington last week that I'm pretty happy with.

1

12

63

Byron Cook

@byroncook

2 years

mitpress.mit.edu

Program Proofs shows students what it means to write specifications for programs, what it means for programs to satisfy those specifications, and how to writ...

1

6

31

Byron Cook

@byroncook

2 years

dafny.org

News and education materials from the Dafny maintainers and guests.

0

2

17

Byron Cook

@byroncook

3 years

RT @oter: Great post illustrating how you can get even more from existing fuzz tests, and build on that expertise to go even further. Cool….

0

1

0

Byron Cook

@byroncook

3 years

RT @AmazonScience: Amazon researchers and engineers gathered for the annual Amazon Formal Reasoning Enthusiasts (FReE) workshop to discuss….

0

15

0

Byron Cook

@byroncook

3 years

amazon.science

CAV keynote lecture by the director of applied science for AWS Identity explains how AWS is making the power of automated reasoning available to all customers.

0

7

16

Byron Cook

@byroncook

3 years

RT @ArminBiere: CAV'22 award goes to predicate abstraction: Construction of abstract state graphs with PVS. S Graf, H Saïdi.CAV 97, 72-83,….

0

11

0

Byron Cook

@byroncook

3 years

RT @n1nj4: I'm one week in as an applied scientist at @awscloud. Automated reasoning for cryptography and systems already. This is going….

0

3

0

Byron Cook

@byroncook

3 years

RT @AmazonScience: As @FLoC2022 begins its second week, Amazon automated-reasoning leaders @byroncook, @DiffKroening & Marijn Heule discuss….

0

6

0

Byron Cook

@byroncook

3 years

amazon.science

To mark the occasion of the eighth Federated Logic Conference (FloC), Amazon’s Byron Cook, Daniel Kröning, and Marijn Heule discussed automated reasoning’s prospects.

0

1

5

Byron Cook

@byroncook

3 years

Great talk from Neha who runs our AWS Identity Automated Reasoning team.

Neha

@neharungta

3 years

Watch my CAV 2022 Keynote, "A Billion SMT Queries a Day" @FLoC2022 @AWSIdentity.

1

2

14

Byron Cook

@byroncook

3 years

RT @neharungta: Watch my CAV 2022 Keynote, "A Billion SMT Queries a Day" @FLoC2022 @AWSIdentity.

0

21

0

Byron Cook

@byroncook

3 years

RT @ArminBiere: Thanks to @udopia I got hold of some plots of the SAT competition. While the main track deteriorated to a Kissat hack trac….

0

4

0

Byron Cook

@byroncook

3 years

RT @ukonat: New post on the Kani blog! This time, we apply Kani to an example from Firecracker, an open source virtualization project for s….

model-checking.github.io

In this post we’ll apply the Kani Rust Verifier (or Kani for short), our open-source formal verification tool that can prove properties about Rust code, to an example from Firecracker, an open source...

0

12

0

Byron Cook

@byroncook

3 years

amazon.science

The awardees represent 52 universities in 17 countries. Recipients have access to more than 300 Amazon public datasets, and can utilize AWS AI/ML services and tools.

0

7

Byron Cook

@byroncook

3 years

Multiple jobs, multiple locations:

0

4

7

Byron Cook

@byroncook

3 years

github.com

AWS Encryption SDK. Contribute to aws/aws-encryption-sdk development by creating an account on GitHub.

0

3

18

Byron Cook

@byroncook

3 years

model-checking.github.io

The Kani Rust Verifier (Kani) is an open-source automated reasoning tool that proves properties about Rust code. This is our blog for the project.

0

15

27

Byron Cook

@byroncook

3 years

A new world-class institution is born today:

0

11

Byron Cook

@byroncook

3 years

RT @Werner: Curious about automated reasoning - The next episode of the Curiosity series where we dive into Automated Reasoning and Formal….

allthingsdistributed.com

Diving into Automated Reasoning and Formal Verification with Dr. Byron Cook in this new video series for those Curious about new technologies

0

15

0