Explores kernels for simplifying data representation and making it linearly separable in feature spaces, including popular functions and practical exercises.
Explores bug-finding, verification, and the use of learning-aided approaches in program reasoning, showcasing examples like the Heartbleed bug and differential Bayesian reasoning.
