Page Not Found
Page not found. Your pixels are in another canvas.
Sitemap
A list of all the posts and pages found on the site. For you robots out there is an XML version available for digesting as well.
Pages
Page not in menu
This is a page not in th emain menu
Posts
portfolio
AI and Sustainability
Using AI for the development of sustainable resource projects
POMDP Planning
Innovations in solving POMDPs with large state, action, and observation spaces
Safety Validation
Using formal and approximate techniques to validate safety-critical autonomy
publications
talks
Safety Validation Algorithms for Black-Box Autonomous Systems
Published:
Presentation for the Data Science and AI Student Seminar series.
Machine Learning For The Safety Validation Of Autonomous Vehicles
Published:
Presentation for the silicon valley autoware meetup hosted by Apex.ai
Safety Corner Podcast
Published:
My discussion with Florian Wagner on the Safety Corner podcast. Listen here.
Algorithms for Black-Box Safety Validation
Published:
My PhD Defense!
Verification of Image-Based Controllers
Published:
Research seminar discussing our paper Verification of Image-based Neural Network Controllers Using Generative Models.
Verification and Validation of Safety Critical Autonomous Systems
Published:
Research seminar discussing a wide array of verification and validation techniques. Co-presented with Sydney Katz.
Building Safe and Reliable Autonomous Systems
Published:
Fireside chat discussing techniques for building safe and reliable autonomous systems.
teaching
AI4ALL - Robotics
Summer Course, AI4ALL at Stanford University, 2021
Three week course on AI and robotics targeted toward 9th graders as part of AI4ALL.
CS521 - AI Safety Seminar
Course, Stanford University, 2022
CS521 is a 1-credit speaker series I curate each year in the spring. See the course webpage for details
Robust and Reliable Autonomous Systems
1-Week Intensive, Stanford Center for Professional Development, 2023
Designing Robust and Reliable AI Systems (SCPD page) was a week-long course covering topics such as ML robustness, explainability, verification, uncertainty quantification and more.