Explores bug-finding, verification, and the use of learning-aided approaches in program reasoning, showcasing examples like the Heartbleed bug and differential Bayesian reasoning.
Explores material aspects and protocols of serial communications in microcontrollers, covering encoding, baud rates, protocols like NRZI and Manchester, and the importance of serial transmissions.
Explores the Bluetooth physical layer for IoT, including subchannels, frequency hopping, Piconet, Scatternet, power consumption, and system management.
