Lectures related to Formally Correct Intermittent Systems

Explores engineering multi-scale systems for health, security, and energy applications.

Covers the engineering of systems for health, security, energy, and the environment.

Explores the challenges and benefits of compiler verification, emphasizing the importance of verifying compilers for critical software.

Introduces the Envirobot project for detecting aquatic pollutants using miniaturized sensors and bacterial bioreporters.

Covers Hoare Logic, its foundations, applications, and significance in program verification.

Explores the definition of media security standards and the standardization of a framework rather than a specific security tool.

Discusses engineering multi-scale systems for health, security, energy, and the environment, focusing on innovation and testing new technology.