All things software correctness, reliability, formal methods, and mathematics