Software Engineer
CurrentWorking on the pyre typechecker and static analysis tool, which is used to- improve developer productivity and reduce bugs- perform taint analysis to uncover potential security problemsHighlights:- Submitting PEP 677 https://www.python.org/dev/peps/pep-0677- Improving pyre's type refinement, to fix numerous bugs and enable pytorch support- Adding support.