A seventh year Computer Science PhD student at Stanford University in the Secure Computer Systems group and the Stanford Information Networks Group. He’s currently working on a new secure operating system for embedded devices called TockOS. He’s generally interested in distributed systems, operating systems, security, privacy, programming languages and good will towards people.
This workshop will be a hands-on training for developing bare-metal and embedded Linux systems using Rust. You will use Tock-OS to create a low power Bluetooth sensor node on a Hail development board, and build a Smart IoT Gateway using a Raspberry Pi 3. Training and hardware will be provided for developing Rust software on both Microcontroller and Embedded Linux based systems. Attendees will start with a working base example for both devices, and can build new functionality from there. Some experience with Rust and either (or both) Microcontroller or Linux systems is recommended.