Ellen Arteca
Software Engineer at Google
Mountain View, California, United States
Summary
👤
Senior🎓
Top SchoolEllen Arteca is a software engineer with 12 years of experience specializing in program analysis, compilers, and platform security, currently working on Android Platform Security at Google in Mountain View. She holds advanced degrees from Waterloo and Northeastern (PhD in progress) and has a strong research-to-production track record across internships at GitHub (Semmle), AWS, and Google where she contributed open-source tooling for MIRI and SMT transformations. Ellen bridges deep static and dynamic analysis expertise with practical systems work—examples include extending MIRI to support C FFI interoperability and building anonymizing transformations for SMT queries. Her background in mathematics and computer science informs a rigorous, formal approach to security and correctness that surfaces subtle, real-world vulnerabilities.
12 years of coding experience
Doctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at Northeastern UniversityBachelor of Science - BS, Mathematics and Computer Science, Bachelor of Science - BS, Mathematics and Computer Science at Laurentian University/Université LaurentienneMaster of Science - MS, Computer Science, Master of Science - MS, Computer Science at University of Waterloo
English, Spanish, French
Github Skills (98)
github-advanced-security10
codeql10
ffi10
rust-lang10
compiler10
rust10
typescript10
crate10
read-write10
semmle-ql10
nodejs-application9
typescript-definitions9
security9
interpreter9
rust-language9
Programming languages (12)
Github contributions (5)
emarteca/diplomat
Jul 2024 - Apr 2026
Experimental Rust tool for generating FFI definitions allowing many other languages to call Rust code
Contributions:151 pushes, 34 branches in 1 year 9 months
emarteca/miri
Sep 2022 - Sep 2022
An interpreter for Rust's mid-level intermediate representation
Contributions:2 commits, 111 pushes, 7 branches in 1 day
interpreterrust
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.