Leslie Lamport: The Man Who Revolutionized Computer Science with Math [video]