Fady is a staff member at IBM Research in Haifa, where he works on advanced security defense technologies. Before focusing on security research, Fady worked on the formal verification of IBM POWER processors, for which he received an IBM Outstanding Technical Achievement Award in 2013. Before joining IBM in 2008, he worked at Intel on the development of formal verification algorithms and tools; he received several awards for the successful pilot of BMC (Bounded Model Checking) on Boolean Satisfiability (SAT). Fady received his BSc in computer science from the Technion - Israel Institution of Technology, where he graduated cum laude. He also has a B.F.A. in cinema and television from Tel-Aviv University.