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 the emission of thermal radiation, covering mechanisms, electromagnetic radiation, temperature relationship, spatial distribution, and black-body radiation.
Covers the derivation of formal solutions to the Radiative Transfer Equation and discusses isotropic scattering, optical thickness, and Monte Carlo method applications.