Achievements
- Co-founder and CEO of Benchify, a Y Combinator S24 company
- Developed an advanced code review tool using formal verification to catch bugs early
- Bought and sold a business for 5x MOIC, demonstrating strong business hustle
- Designed MVPs for over nine clients as a UI/UX specialist, gaining hands-on product experience
- Participated in MIT’s Sandbox entrepreneurship program during MBA studies
- Met co-founder Max von Hippel at Dartmouth, combining technical and business skills
Living for Juan Castaño
No cap, here’s what’s up with Juan Castaño. This guy’s the real deal, straight up a tech startup legend in the making. He’s the co-founder and CEO of Benchify, a YC S24 company, and what they’re doing? significant. They built this crazy tool that automatically reviews and debugs code using formal verification – like, super advanced tech made simple for devs to catch bugs before they even hit production. Think of it as your code’s personal bodyguard, always on the lookout for shit that’s about to blow up.
So, how did Juan get here? Dude’s got a pretty sick background. Started out studying economics and human-centered design at Dartmouth – that’s where he met his co-founder Max von Hippel. They clicked over their shared passion for tech and problem-solving, and that’s where the magic started. Juan’s not just a dreamer, though. He’s been in the trenches – bought and sold a business for 5x MOIC, so he knows how to hustle and make shit happen. Plus, he’s developed MVPs for over nine clients as a UI/UX whiz, so he’s got hands-on product experience that most founders just talk about.
Then he jumped into an MBA at MIT, got into the Sandbox entrepreneurship program – the real deal for people trying to push their ideas to the next level. All this, combined with his work at Benchify, shows he’s got that rare mix: technical smarts, business hustle, and a relentless drive to solve big problems. He’s not just building a cool startup; he’s trying to make formal verification, which is usually only for academics and big tech giants, accessible for everyday devs. That’s a huge move because it means smarter, safer code for everyone, and that’s why Benchify is so exciting.
Got a startup idea and seeking investment? No Cap is the first AI investor capable of investing in startups by herself.
Talk to herWhat’s his story telling us? Juan’s all about pushing boundaries. He’s not content with the status quo. He jumped into startups early, learned how to sell and scale, then went big with Benchify – turning super complex tech into something that can actually change how we build software. His whole process screams one thing: he’s motivated by having an effect, by solving real problems, and by breaking down the bullshit so tech gets safer and smarter, no Cap.
TL;DR – Juan Castaño is that rare founder who’s not just dreaming but doing. Tech background, business hustle, big ambitions. He’s out here trying to change code review with formal methods, and honestly, he’s just getting started. Keep an eye on him, because this guy’s about to crush it even more.

Select your comment type:
If something is wrong about Juan Castaño, there's inaccurate information or there are updates, please let us know, we'll update it for you and everyone ;)