Alex Navas
Senior Software Engineer at Pullpo (PV 23-1)
Barcelona, Catalonia, Spain
Summary
🤩
Rockstar🎓
Top SchoolAlex Navas is a Senior Software and AI Engineer based in Barcelona with 10 years of experience building scalable backend systems, MLOps pipelines, and GenAI products. He has a strong track record at companies like Block and Latitude and founded a SaaS startup that shipped end-to-end LLM pipelines, Go backends, and Svelte frontends to analyze customer feedback at scale. Pragmatic under pressure and a fast learner by nature, Alex blends hands-on engineering with strategic advisory work as a technical board member focused on infrastructure and security. An active contributor to ML tooling, he improved state handling and retry reliability in the DSPy framework for programming language models—demonstrating attention to robustness in production ML systems.
10 years of coding experience
5 years of employment as a software developer
UPC Universitat Politècnica de Catalunya
Spanish, Catalan, English
Github Skills (9)
machine-learning10
deep-q-learning10
deep-learning10
dsym10
python10
unit-testing9
pydantic8
nlp8
natural-language-processing8
Programming languages (7)
Github contributions (5)
stanfordnlp/dspy
Jan 2024 - Sep 2024
DSPy: The framework for programming—not prompting—language models
Role in this project:
ML Engineer
ML EngineerContributions:3 reviews, 9 PRs, 18 comments in 7 months
Contributions summary:Alex focused on improving the functionality of the DSPy framework, particularly related to saving and loading the state of programs with typed predictors. This involved modifying code to ensure the correct handling of demos and signatures during state serialization and deserialization. The contributions also included tests for the correct behavior of retry mechanisms and the integration with typed predictors, enhancing the framework's reliability and flexibility.
language-model
Neoxelox/MyCSV
Nov 2015 - Apr 2019
Contributions:5 commits, 4 pushes, 1 branch in 3 years 5 months
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.