Kiran

189Following1Top Followers1.4KTotal Followers

BIO

Research Scientist I work in Programming Languages research, on formal verification. British South Asian diaspora~

Top followers

Jesse Michael Han

@jessemhan

@mathematics_inc // prev. research @OpenAI 'turboautist' 'only guy i know who talks like an anime character'