A good mathematical library is important for software verification, including cryptography and differential privacy.

“It's important to have a good library, a math library. For verifying software, for example, cryptography, we need lots of math. Differential privacy is another example.”