Yeray Cabello
AI Verification Engineer
North Brabant, Netherlands
Summary
👤
Senior🎓
Top SchoolYeray Cabello is an AI Verification Engineer and founder with nine years of hands-on experience modernizing legacy systems and making distributed software less chaotic. He combines formal verification, event modelling and functional programming with pragmatic tooling—TypeScript, EventStoreDB, TLA+ and the Microsoft ecosystem—to rapidly fix brittle brownfield codebases that break when teams lean on LLM-generated changes. His background spans staff- and lead-level roles across enterprise and product teams, with deep expertise in performance, reliability tuning and gradual modernization. Not obvious at first glance: he treats automated checks as a means rather than a goal, preferring designs that make systems auditable and maintainable long-term. Based in North Brabant, Netherlands, he works remotely and focuses on solutions that reduce costs and unlock revenue through higher software quality.
9 years of coding experience
12 years of employment as a software developer
Buccaneer Scholar IT, Buccaneer Scholar IT at Tortuga Island
Spanish, English, Dutch
Stackoverflow
411reputation
17kreached
17answers
3questions
Github Skills (62)
kotlin10
tooling10
cqrs10
polymorphism10
core-library10
typescript10
language-service10
dotnet10
intellisense10
kotlin-library10
monads10
visual-studio10
netcore10
fsharp10
kotlin-dsl10
Programming languages (7)
Github contributions (5)
JYCabello/DeFuncto
Jun 2021 - Jul 2022
Functional library for C#, aiming to keep the minimum data types for ease of maintenance
Contributions:78 reviews, 35 commits, 72 PRs in 1 year 1 month
keepfunctional-programmingdata-typesaimingminimum
JYCabello/jycabello.github.io
Dec 2019 - Feb 2023
Yeray cabello developer's blog
Contributions:1 PR, 60 pushes, 1 branch in 3 years 2 months
jekyll
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.