Ibrahim Mohamed did his BSc in America University in Cairo in computer science and his MSc in Royal Holloway University of London. He used to work as a security consultant doing penetration testing and security reviews, then moved to Facebook where he worked on detection of security bugs and scaling that using static analysis. During that he focused his work on Zoncolan and Pysa which are static analysis tools for both Hack and Python