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