Bug Bash is coming to Copenhagen this fall!
Learn more
Product
Developers
Learn
Company
Log in
Book a demo
Product
Developers
Learn
Company
Search
Book a demo
Log in
Research Fellow
Rohan Padhye
2 resources
Sorry, no resources match these filters.
Please
reset
or try a different
query.
Blog
Sep 25, 2026
Why we taught agents to break distributed safety properties
Blog
Jul 27, 2026
Finding bugs in Raft implementations
get started
Velocity and verification. Finally, both.
Talk with one of our product experts to see how Antithesis can help you ship confidently, no matter who’s writing your code.
Book a demo
Test with us
