Miriam Pena
Software Engineer at Meta
San Francisco, California, United States
Summary
👤
Senior🎓
Top SchoolMiriam Pena is a seasoned software engineer with 12 years building distributed, high-concurrency, multi-region systems and currently working on WhatsApp infrastructure at Meta. She specializes in Erlang/OTP and the BEAM ecosystem, having led production Erlang clusters serving millions of concurrent users and over a million bid requests per second in real-time bidding. As founder and board member of the Erlang Ecosystem Foundation, she blends technical leadership with community building, running diversity and student programs and organizing meetups and conferences. Miriam combines a detail-oriented, troubleshooting mindset with architecture-level vision, shaping product requirements into performant, cost-effective systems. Her practical optimizations include deep work on XMPP/Ejabberd scalability and an open-source lightweight memcache library used in high-throughput ad platforms. Based in San Francisco, she is an international speaker and advocate for reliable, scalable system design.
12 years of coding experience
16 years of employment as a software developer
Engineer's degree Computer Science Engineering (5 years), Engineer's degree Computer Science Engineering (5 years) at Universidade da Coruña
English, Spanish
Github Skills (29)
erlang10
elixir10
erlang-otp10
otp10
amazon-dynamodb10
gleam10
phoenix-framework10
foundation9
beam9
staging9
memcached9
aws9
dynamodb9
scalable8
ecosystem8
Programming languages (2)
Github contributions (5)
SemanticSugar/dinerl
Feb 2014 - Dec 2020
Erlang AWS DynamoDB client
Contributions:3 reviews, 14 commits, 8 PRs in 6 years 11 months
aws-dynamodberlangdynamodb-clientamazon-dynamodbdynamodb
AdRoll/mero
Apr 2015 - Sep 2018
scalable and lightweight OTP Erlang client for memcached
Contributions:1 review, 55 commits, 26 PRs in 3 years 6 months
scalableerlangerlang-otpawscluster
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.