Explore Events
Sign In
Kiran Gopinathan
@kirancodes
Research Scientist @
Basis.ai
. Works on formal verification and proof assistants.
Joined December 2025
2
Hosted
1
Attended