Krish Makadia

I'm Krish, a Master's student at Stony Brook splitting my brain between taming AI models and engineering rock-solid distributed systems. I've built face recognition microservices at Matrix Comsec, vegetation-mapping neural nets at ISRO (yes, plants and pixels can get along), and more recently I've been knee-deep in formal verification and consensus protocols (read: arguing with Rust compilers for fun and profit).

Ask me about ML and systems engineering, formal verification, distributed computing, and debugging at 3am.