Ankush Desai
Events1
Conferences1
Talks1
Years active2023
Appearances by year
- AWS re:Invent
Talks
| Date | Event | Conference | Role | Title | Links |
|---|---|---|---|---|---|
| Nov 27, 2023 | AWS re:Invent 2023 | AWS re:Invent | breakout | Gain confidence in system correctness & resilience with formal methodsDistributed applications, systems, and services are difficult to design and test. Formal methods enable the early discovery of design bugs that can escape the…Show lessDistributed applications, systems, and services are difficult to design and test. Formal methods enable the early discovery of design bugs that can escape the guardrails of design reviews and automated testing only to get uncovered in production. | Video |
Frequent co-speakers
| Speaker | Shared events | Shared talks | Last together |
|---|---|---|---|
| BIKASH BEHERA | 1 | 1 | 2023 |
Speakers with the same name are merged into one entry, so this page may combine more than one person. Affiliations are shown as each conference listed them.