Celina Val Email & Phone Number | Experienced Software Engineer with a diverse background encompassing compilers, static analysis, formal verification, firmware development, and database services. Currently, a member of the AWS Automated Reasoning Group, leading the development of a new Rust model checker named Kani, and leading the Rust compiler project to stabilize its intermediate language.

Celina Val

Experienced Software Engineer with a diverse background encompassing compilers, static analysis, for...
Vancouver, British Columbia, Canada

*50 free lookup(s) per month.

Celina Val’s Email cval@amazon.com

Celina Val’s Phone Numbers

Get CELINA’s Phone Number (For Free)

Social Media

Celina Val’s Location Vancouver, British Columbia, Canada

Celina Val’s Current Industry Amazon

Celina Val’s Prior Industry Montana Systems | Self Employed | Jasper Design Automation

Find accurate emails & phone numbers for over 700M professionals.

Principal Engineer

2021-08-01 00:00:00 - Present

Lead Software Developer

2016-05-01 00:00:00 - 2017-05-01 00:00:00

Software Engineering Consultant

2012-11-01 00:00:00 - 2014-02-01 00:00:00

R&D Engineer

2008-09-01 00:00:00 - 2011-05-01 00:00:00

No Skills Available

No Languages Available

Celina Val is a Experienced Software Engineer with a diverse background encompassing compilers, static analysis, formal verification, firmware development, and database services. Currently, a member of the AWS Automated Reasoning Group, leading the development of a new Rust model checker named Kani, and leading the Rust compiler project to stabilize its intermediate language.