Google Research

Andrew Ferraiuolo


Andrew Ferraiuolo is a Research Scientist at Google working on security and formal verification. He holds a PhD in Electrical and Computer Engineering from Cornell University, where he received the ECE Department Outstanding Dissertation Research Award. His research is centered around cross-cutting issues in security that also intersect with programming languages and verification, computer hardware and architecture, software systems, and applied cryptography. A more complete list of his publications can be found on Google Scholar.

Learn more about how we do research

We maintain a portfolio of research projects, providing individuals and teams the freedom to emphasize specific types of work