Irene Dea

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