Paulo Feodrippe
Senior Software Engineer at HSBC
Old Toronto, Ontario, Canada
Summary
🤩
Rockstar🎓
Top SchoolPaulo Feodrippe is a Senior Software Engineer with over a decade of professional experience and eight years focused on software development, specializing in backend systems, distributed systems, and functional programming with strong Clojure expertise. He has shipped production services across fintech and healthcare domains, mentored engineers in Clojure and CI/CD practices, and now contributes at HSBC after senior roles at Gravie and early-stage fintech ZenFinance. An active open-source contributor, Paulo has improved critical tooling like nREPL and the TLA+ model checker, reflecting a rare blend of practical engineering and formal-methods interest (TLA+/model checking). He pairs hands-on backend engineering—service integration, testing automation, and macro-level compile-time enhancements—with a habit of formalizing and testing designs, so systems are both correct and maintainable. Based in Toronto, he brings a background in embedded and interactive projects as well as cloud-native architectures, revealing a breadth that spans low-level device work to distributed backend systems.
11 years of coding experience
13 years of employment as a software developer
Bachelor in Electronics Engineering , Bachelor in Electronics Engineering at Universidade de Pernambuco
English
Github Skills (27)
debugging10
algorithms10
spec10
debug10
transport10
clojure-cli10
transport-layer-protocol10
testing10
macros10
command-line-interface10
model-checking10
java10
clojure10
javas10
supercollider10
Programming languages (20)
Github contributions (5)
tlaplus/tlaplus
May 2020 - Jan 2023
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
Role in this project:
Back-end Developer & Test Automation Engineer
Back-end Developer & Test Automation EngineerContributions:16 reviews, 16 commits, 30 PRs in 2 years 8 months
Contributions summary:Paulo primarily focused on bug fixes and enhancements within the TLC model checker, specifically addressing issues related to typo corrections and module handling. They modified Java files within the `tlatools` package to resolve reported bugs, including those related to command-line output and module parsing. Additionally, the user was involved in adding and modifying unit tests, showing a focus on code correctness and maintainability.
model-checkingmodel-checkermit-licensemodel-statechecker
nrepl/nrepl
Nov 2018 - Dec 2018
A Clojure network REPL that provides a server and client, along with some common APIs of use to IDEs and other tools that may need to evaluate Clojure code in remote environments.
Role in this project:Back-end Developer & Test Automation Engineer
Back-end Developer & Test Automation EngineerContributions:6 commits, 8 PRs, 72 comments in 1 month
Contributions summary:Paulo contributed to the nREPL project by addressing several issues related to the transport mechanism and command-line interface. They fixed a bug where the REPL was started with an incorrect transport when testing with fastlane. Additionally, they added tests for the command-line interface to improve the project's reliability. The user also worked on adding the URI scheme for the transport and ensured the ack functionality was working as expected.
evaluatenreplreplneedclojure
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.