People
Software Engineer
I am a Software Engineer on the Differentiable Programming team where we are working on extending the Kotlin language to include differentiability. Currently, I am designing and implementing tensor typing in Kotlin, which allows for tensor shape checking at compile-time.
Prior to Facebook, I obtained my bachelor’s degree in Computer Science at University of California, Berkeley.
Compilers, machine learning, AI, programming languages, type systems