Rui Barreiro
Data Scientist
Mafra, Lisbon, Portugal
Summary
👤
Senior🎓
Top SchoolRui Barreiro is a Data Scientist with 14 years’ experience combining a strong applied mathematics background with pragmatic software engineering to deliver production ML systems. He has led teams building document-processing and automation models for insurance at Fidelidade and shipped NLP and computer vision solutions across labeling, extraction and damage detection pipelines. Comfortable across Python, JavaScript and shell environments, Rui also contributes to functional programming tooling—adding a JavaScript backend and optimizations to the dependently typed Idris language—reflecting a taste for elegant, functional solutions. Based in Mafra, Lisbon, he blends hands-on model development with systems thinking to move prototypes into reliable, automated workflows.
14 years of coding experience
10 years of employment as a software developer
Master of Science (MSc) Applied Mathematics, Master of Science (MSc) Applied Mathematics at Instituto Superior Técnico
English, Portuguese
Github Skills (5)
javascript10
code-generation10
idris10
back-end-development10
bigint9
Programming languages (4)
Github contributions (5)
idris-lang/Idris-dev
Apr 2017 - Feb 2019
A Dependently Typed Functional Programming Language
Role in this project:
Back-end Developer
Back-end DeveloperContributions:59 commits, 23 PRs, 57 comments in 1 year 10 months
Contributions summary:Rui primarily worked on implementing and improving the JavaScript backend for the Idris language. They introduced a new JavaScript backend, fixed tail call optimization issues, and added support for bigints and int32. They also enhanced the backend with more primitives and refined the tail call optimization strategy to improve variable usage.
dependent-typesfunctional-programmingtype-theorylanguage-designlambda-calculus
rbarreiro/Idris2-1
Jun 2020 - Mar 2021
A purely functional programming language with first class types
Contributions:1 PR, 33 pushes, 3 branches in 9 months
functional-programmingcompilerfunctional-programming-languageprogramming-languagepurely-functional
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.