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