Andrew Ferraiuolo (Preferred)
Andrew Ferraiuolo
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
Publications
Co-Authors
- Alexander Ivanov
- Andrew Baumann
- Andrew C. Myers
- Ben Laurie
- Bryan Parno
- ChanJun Park
- Chris Hawblitzel
- Danfeng Zhang
- Erik Halberg
- G. Edward Suh
- Haein Song
- Jed Liu
- Jieung Kim
- Jinwoo Kim
- Joe Corbett-Davies
- Mark E. Campbell
- Mark Zhao
- Mohammad Tehranipoor
- Mulong Luo
- Razieh Behjati
- Rui Xu
- Ruirui C. Huang
- Sang-Ki Ko
- Seungbeom Hu
- Shane Kelly