Introduces the fundamentals of database management systems, covering relational model, storage options, data integrity, queries, and data manipulation languages.
Explores bug-finding, verification, and the use of learning-aided approaches in program reasoning, showcasing examples like the Heartbleed bug and differential Bayesian reasoning.
