BIO
Research Scientist in NYC I work in Programming Languages research, on formal verification. British South Asian diaspora~
Patrick Shafto
@patrickshafto
PM @DARPA; Prof of Math and CS @Rutgers-Newark; co-founder @ http://Redpoll.ai; Math @the_IAS 2021-2023. http://patrickshafto.com/
Jesse Michael Han
@jessemhan
@mathematics_inc // prev. research @OpenAI 'turboautist' 'only guy i know who talks like an anime character'
