Building Better Systems

Shpat Morina and Joey Dodds explore tools and approaches that make us more effective engineers and make our systems safe and reliable. Join them for discussions on recent developments in topics such as best practices in reliability and security, applied formal methods, encryption, and safe and secure hardware.

The original videos from 2020-2022 were lost due to an issue with the YouTube channel. Those videos are reuploaded here.