"Differential privacy" . "Patent law" . "Theory of cryptography" . "Technology companies based in the San Francisco Bay Area" . "Algorithms" . "Theoretical computer science" . "Mathematical logic" . "Software architecture" . "Information privacy" .