Rahul Kumar's schedule for Open Source Summit North America 2025

June 23 - 25, 2025
Denver, Colorado
View More Details & Registration
Note: The schedule is subject to change.

The Sched app allows you to build your schedule but is not a substitute for your event registration. You must be registered for Open Source Summit North America 2025 to participate in the sessions. If you have not registered but would like to join us, please go to the event registration page to purchase a registration.

This schedule is automatically displayed in Mountain Daylight Time (UTC/GMT -6). To see the schedule in your preferred timezone, please select from the drop-down menu to the right, above "Filter by Date."

IMPORTANT NOTE: Timing of sessions and room locations are subject to change.

Rahul Kumar

Amazon Web Services

Senior Manager Applied Science

About me

Rahul Kumar completed his PhD from Brigham Young University. He has worked on formal verification and static analysis at Microsoft, Microsoft research, NSA JPL. He also worked on combining empirical software engineering and static analysis techniques for creating machine learning based solutions for DevOps. Currently he works at AWS to create state of the art verification technologies for Rust and C programs. Rahul is extremely passionate and driven by automated reasoning and verification.

My Speakers Sessions

11:55am MDT

Verifying the Rust Standard Library - Rahul Kumar, Amazon Web Services Bluebird Ballroom 2D