Explores 3D Microscopy and Tomography techniques, including Atom Probe Tomography and Field Emission Microscopy, emphasizing electron tomography principles and applications.
Explores the triumph of determinism in modern mechanics and the methodology of scientific development, with practical exercises on estimating surgical mask usage and analyzing atomic bomb energy.
Covers Lorentz Transmission Electron Microscopy and its role in analyzing magnetic domain structures and properties through various imaging modes and quantitative methods.
Explores bug-finding, verification, and the use of learning-aided approaches in program reasoning, showcasing examples like the Heartbleed bug and differential Bayesian reasoning.