Explores bug-finding, verification, and the use of learning-aided approaches in program reasoning, showcasing examples like the Heartbleed bug and differential Bayesian reasoning.
Covers the basics of scientific programming for engineers, emphasizing the importance of GIT for collaborative work and providing insights into challenges in scientific software development.
Explores total scattering and PDF analysis in materials science, covering in-situ synthesis, data analysis techniques, and applications in host-guest systems.