Developer / SQL Administrator at Fennemore Craig, P.C. @ Greater Phoenix Area
PhD candidate at King's College London (Informatics)
London, England Metropolitan Area
A PhD candidate in Computer Science at King's College London (2020) with an M.Sc in Computer Science from the Technion (2013) and a B.A. in Computer Science from the Academic College of Tel-Aviv-Yaffo (2006), and a MAMRAM graduate, IDF's elite software engineering programme (1998).
My research and academic education focus on software verification, model checking, static and dynamic analysis, and software engineering. My experience includes working in several research teams on creating static and dynamic software verification tools (e.g., HiFrog, ACE). I worked in research teams at eBay and IBM Research since 2009; I have previous experience as a developer/software engineer in both local and international software companies since 2002; I have good coding skills in several programming languages.