Marcelo Miranda
System Engineer at Cloudflare
Porto, Porto, Portugal
Summary
👤
Senior🎓
Top SchoolMarcelo Miranda is a system engineer with 10 years of experience designing and operating distributed data systems, currently at Cloudflare after roles at Five9 and Talkdesk where he worked extensively with Flink, Kafka, Trino and Iceberg. He has a formal methods background (MSc in Computer Software Engineering) and a strong interest in type theory, safety, and correctness, which informs his preference for languages like Elixir, Haskell and Rust. Passionate about the actor model and functional programming, he focuses on building scalable, maintainable architectures that make concurrency and failure reasoning explicit. Known for exploring different paradigms, Marcelo blends research-minded rigor with hands-on production engineering in data-intensive environments.
10 years of coding experience
5 years of employment as a software developer
Master's degree Computer Software Engineering, Master's degree Computer Software Engineering at Universidade do Minho
English, Portuguese
Github Skills (86)
ecto10
capistrano10
code-completion9
omniauth9
code-navigation9
intranet9
elixir9
phoenix-framework9
ctags9
refactoring8
code-analysis8
postgresql8
dbus8
rails8
ruby7
Programming languages (11)
Github contributions (5)
marcelo140/university
Oct 2017 - Nov 2018
Contributions:38 commits, 43 pushes, 1 branch in 1 year 1 month
marcelo140/mal
Apr 2019 - Aug 2019
mal - Make a Lisp
Contributions:48 commits, 14 pushes, 2 branches in 3 months
malmake-a-lisplisp-interpreterlispcommon-lisp
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.