Pradeep Kumar Srinivasan
I work at Meta on the Pyre type checker. 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).
Saturday 11:30 a.m.–noon in talks - 255ABC