This course will teach mathematical and algorithmic techniques and tools for building safe autonomous systems, from unmanned drones to self-driving cars to medical devices.