Raúl Chouza
Elixir Developer at Erlang Solutions
Tijuana, Baja California, Mexico
Summary
👤
Senior🎓
Top SchoolRaúl Chouza is an Elixir and BEAM-focused developer from Tijuana with 11 years of professional experience building backend systems and commercial applications. He currently develops at Erlang Solutions and has a track record of applying functional programming principles to real-world problems across companies from Samsung Smart TV apps to enterprise software. An active open-source contributor, Raúl has contributed to the Gleam language compiler—implementing guard operators and ensuring correct type checking and Erlang code generation—highlighting deep familiarity with type systems and compiler internals. His Computer Engineering background and hands-on roles from embedded microcontroller teaching to large-platform support reveal both a practical, systems-level mindset and a willingness to mentor. Colleagues describe him as direct and pragmatic, preferring clear communication while tackling complex backend challenges.
11 years of coding experience
8 years of employment as a software developer
Bachelor's Degree, Computer Engineering, Bachelor's Degree, Computer Engineering at Universidad Autónoma de Baja California
Spanish, English
Github Skills (14)
compiler10
type-checking10
compiler-compiler10
code-generation10
type-check10
gleam10
erlang10
testing9
programming-language9
static-typing8
strongly-typed8
abstract-syntax-tree7
grammar6
grammars6
Programming languages (4)
Github contributions (5)
gleam-lang/gleam
Apr 2020 - Apr 2020
⭐️ A friendly language for building type-safe, scalable systems!
Role in this project:
Back-end Developer
Back-end DeveloperContributions:10 commits, 2 PRs, 15 comments in 2 days
Contributions summary:Raúl primarily contributed to the Gleam programming language compiler, specifically working on the type checking and Erlang code generation aspects. Their commits focused on adding and modifying guard expressions, which included implementing new operators like `>=`, `<`, and `<=`. They also wrote tests to ensure the correct type checking and Erlang code generation for these new guard expressions.
typesafegleamprogramming-languagecompilererlang
chouzar/crow
Jul 2022 - Oct 2022
A chess implementation in the Gleam programming language
Contributions:28 commits, 18 pushes, 1 branch in 2 months
programming-language
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.