Explores the regulation of lipid absorption and metabolism in the digestive system, covering bile salts, chylomicrons, water absorption, and detoxification functions of the liver.
Explores bug-finding, verification, and the use of learning-aided approaches in program reasoning, showcasing examples like the Heartbleed bug and differential Bayesian reasoning.