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 (136)
github-advanced-security10
intermediate10
codeql10
security10
ffi10
rust-language10
garbage-collection10
rust-lang10
memory-management10
compiler10
rust10
github-repos10
typescript10
crate10
read-write10
Programming languages (12)
Github contributions (5)
emarteca/JSEventAPIModelling
Sep 2020 - May 2021
Contributions:13 commits, 10 pushes in 8 months
emarteca/stubbifier
Jan 2021 - Feb 2022
Tool for debloating JavaScript applications
Contributions:1 release, 1 review, 25 commits in 1 year 1 month
debloatingjavascriptjavascript-applications
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.