Jia is a full-time Research Scientist at Meta. In the past 2 years he has been working on Pyre, an industrial-strength static type checker for Python 3.
Jia got his Ph.D. degree from Department of Computer Science at University of Texas at Austin.