Dr. Elise Laurent is a computer scientist specialising in formal methods, program verification, and the application of mathematical proof techniques to safety-critical software systems. She writes about the theory and practice of formal verification, the tools that make it accessible to industry, and the expanding domains where proving software correctness mathematically is becoming practical.
