Works on challenging problems in distributed systems, machine learning, compilers, cryptography, and game development through a venture studio model.