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.
10 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 (59)
kotlin10
polymorphism10
core-library10
typescript10
dotnet10
intellisense10
monads10
visual-studio10
netcore10
fsharp10
kotlin-dsl10
functional-programming10
coroutines10
event-sourcing9
cqrs9
Programming languages (7)
Github contributions (5)
NVX-ai/nvx-consistent-api
Jul 2025 - Feb 2026
Contributions:29 reviews, 19 PRs, 248 pushes in 7 months
JYCabello/communications-management
May 2022 - Jun 2023
Web app to manage communications on clubs
Contributions:13 PRs, 277 pushes, 16 branches in 1 year 1 month
discourseclubscommunicationsbackbonejscapistrano
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.