hey i'm adhi - currently studying at nus & stanford

i believe space is the problem of our lifetime, and the answer to most of the others

i'm experimenting with formal verification for critical systems

if you're building in this field too, i'd love to chat