Gustavo Petri
Employers on the program
- 2025Amazon Web Services1 talk
Events1
Conferences1
Talks1
Years active2025
The year around now
Talks in the past 12 months and announced talks ahead, one row per conference, January to December. Hover a mark for the talk.
Appearances by year
- AWS re:Invent
Talks
| Date | Event | Conference | Role | Title | Links |
|---|---|---|---|---|---|
| Dec 1, 2025 | AWS re:Invent 2025 | AWS re:Invent | chalk talk | Building fast with automated reasoning at Amazon S3 scale as Amazon S3 has a long history of using automated reasoning, but a core challenge has been applying these techniques to large systems while maintaining development…Show lessS3 has a long history of using automated reasoning, but a core challenge has been applying these techniques to large systems while maintaining development velocity. Over time, we've learned to balance cutting-edge science with engineering velocity to accelerate development. |
Frequent co-speakers
| Speaker | Shared events | Shared talks | Last together |
|---|---|---|---|
| Rajeev Joshi | 1 | 1 | 2025 |
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.