Pradeep Kumar Srinivasan

I work at Meta on the Pyre type checker and the Pysa security tool. I like capturing dynamic code patterns in the Python type system.

I recently worked on representing the shape of a tensor in its type (PEP 646) and preventing command injection vulnerabilities using the type checker (PEP 675).