Leslie Lamport

How to Write Software With Mathematical Perfection - https://www.quantamagazine.org/computing-expert-says-programmers-need-more-math-20220517/