Ariel Kellison Email
Staff Research Scientist @ Code Metal
5 free lookup(s). No credit card required.
If you need more lookups,
subscriptions start at $34 USD/month.
Ariel Kellison Location
- Ithaca, NY, US
Ariel Kellison Work
- Staff Research Scientist @ (August 2026 - Present)
- Senior Research Scientist @ (January 2026 - August 2026)
- Senior Research Engineer @ (July 2025 - January 2026)
- Research Engineer @ (April 2025 - July 2025)
- Postdoctoral Researcher @ (December 2024 - April 2025)
- Formal Methods Intern @ (July 2021 - December 2024)
- Doctoral Student @ (August 2020 - December 2024)
- Lecturer @ (June 2020 - August 2020)
- Research Support Specialist - NuPRL Group @ (July 2016 - January 2020)
Ariel Kellison Education
- Cornell University
Doctor of Philosophy - PhD (Computer Science)
2020-2024 - Cornell University
Master of Science - MS (Computer Science)
- University of California, Santa Cruz
Bachelor of Science - BS (Astrophysics)
Ariel Kellison Skills
- Artificial Intelligence (AI)
- Formal Methods
- High Performance Computing (HPC)
- Interactive Theorem Provers
- Large Language Models (LLM)
- Physics
- Python (Programming Language)
- Software Verification
- Static Analysis
Ariel Kellison Summary
- Ariel Kellison, based in Ithaca, NY, US, is currently a Staff Research Scientist at Code Metal. Ariel Kellison brings experience from previous roles at Code Metal, Galois, Inc. and Sandia National Laboratories. Ariel Kellison holds a 2020 - 2024 Doctor of Philosophy - PhD in Computer Science @ Cornell University. With a robust skill set that includes Artificial Intelligence (AI), Formal Methods, High Performance Computing (HPC), Interactive Theorem Provers, Large Language Models (LLM) and more. Ariel Kellison has 2 emails on RocketReach.
Looking for a different Ariel Kellison?
Find contact details for 700 million professionals.
Top Code Metal Employees
Laura Shen
EVP of Growth
Washington, DC, US
Ryan Magnuson
Senior Machine Learning Engineer
Boston, MA, US
G2 Crowd Trusted
300K+ Plugin Users
© 2026 RocketReach.co