Explores censorship resistance in privacy technologies, techniques to avoid Internet censorship, preventing communication, and censorship resistance systems like Tor.
Explores bug-finding, verification, and the use of learning-aided approaches in program reasoning, showcasing examples like the Heartbleed bug and differential Bayesian reasoning.
Introduces Scientific Machine Learning, emphasizing its application in various scientific fields and the connection between machine learning and physics.
