Varun Pant
Employers on the program
- 2026Amazon Web Services1 talk
- 2022Data Management Association Australia1 talk
Events2
Conferences2
Talks2
Years active2022–2026
Miles between events7,4242 in-person events · 2 countriesThe 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
- AI Engineer (World's Fair, Summit and regional editions)
- CDAO (Chief Data & Analytics Officer) Summits
Talks
| Date | Event | Conference | Role | Title | Links |
|---|---|---|---|---|---|
| Jun 29, 2026 | AI Engineer World's Fair 2026 | AI Engineer (World's Fair, Summit and regional editions) | speaker | Your Code Has Bugs. Lean4 Has Proofs. A Practical Guide to Formal Verification for Engineers as AWS | Video |
| May 2, 2022 | CDAO Sydney 2022 | CDAO (Chief Data & Analytics Officer) Summits | speaker | Untitled as Data Management Association Australia |
Frequent co-speakers
No one else spoke at two or more of the same events.
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.