Andrew Ferraiuolo (Preferred)
Andrew Ferraiuolo
Pronouns: he/him
Researcher, Certora
- Joined August 2024
Names
Emails
****@proton.me (Confirmed)
, ****@gmail.com (Confirmed)
, ****@cornell.edu (Confirmed)
Personal Links
Career & Education History
Researcher
Certora (certora.com)
2023 – Present
Researcher
Research, Research, Google (research.google.com)
2019 – 2023
PhD student
Electrical and Computer Engineering, Cornell University (cornell.edu)
2012 – 2018
Advisors, Relations & Conflicts
Expertise
Formal Methods
2012 – Present
Programming Languages
2012 – Present
Formal Verification
2012 – Present
Type Theory
2012 – Present
Computer Architecture
2010 – Present
Computer Hardware
2010 – Present
Security
2010 – Present
Privacy
2010 – Present