Safety Validation Algorithms for Black-Box Autonomous Systems
Seminar at Data Science and AI Student Seminar, Stanford, CA
CV
Education
- B.S. in GitHub, GitHub University, 2012
- M.S. in Jekyll, GitHub University, 2014
- Ph.D in Version Control Theory, GitHub University, 2018 (expected)
Work experience
- Summer 2015: Research Assistant
- Github University
- Duties included: Tagging issues
- Supervisor: Professor Git
- Fall 2015: Research Assistant
- Github University
- Duties included: Merging pull requests
- Supervisor: Professor Hub
Skills
- Skill 1
- Skill 2
- Sub-skill 2.1
- Sub-skill 2.2
- Sub-skill 2.3
- Skill 3
Publications
Talks
Machine Learning For The Safety Validation Of Autonomous Vehicles
Seminar at Silicon Valley Autoware Meetup, Stanford, CA
Safety Corner Podcast
Podcast at Safety Corner, Stanford, CA
Algorithms for Black-Box Safety Validation
PhD Defense at Stanford University, Stanford, CA
Verification of Image-Based Controllers
Seminar at NASA ULI Monthly Seminar, Stanford, CA
Verification and Validation of Safety Critical Autonomous Systems
Seminar at Trustworthy Autonomous Systems - Governance Node, Edinburgh, Scotland
Building Safe and Reliable Autonomous Systems
Webinar at SCPD Webinar, Stanford, CA
Teaching
Service and leadership
- Currently signed in to 43 different slack teams