Explores the environmental impact of organic matter in groundwater, bioremediation techniques, microbial degradation, redox sequences, and oxidation reactions.
Covers vectorisation, functions, and flow control in Matlab, emphasizing the importance of avoiding global variables and providing examples of simple plots and debugging techniques.
Explores bug-finding, verification, and the use of learning-aided approaches in program reasoning, showcasing examples like the Heartbleed bug and differential Bayesian reasoning.