Explores the impact of machine learning in understanding human diseases, focusing on historical significance, natural products discovery, and challenges in designer drugs.
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 relativistic motion of charged particles in electric fields, focusing on Lorentz covariant electrodynamics and the relativistic Larmor power.