I am a computer scientist specializing in various aspects of theory and applications of automated reasoning and AI. I am also a professional software developer with close to 10 years of hardcore industrial experience, and 5 years of on-and-off gigs. In short, my professional life revolves around computers. My private life, on the other hand, revolves around my family, traveling, tennis, reading, and other joys of life.

I am currently a Post-doctoral Research Fellow with the Complex and Adaptive Systems Laboratory (CASL) at University College Dublin, Ireland. I am a member of SAT Team @ UCD. I defended my PhD dissertation in November 2010 at the Department of Computer Science and Engineering of York University in Toronto, where I was in the Theory Group and the Distributed Computing, Concurrency and Verification Group. My PhD supervisor was Zbigniew Stachniak, and co-supervisor Franck van Breugel. I received B.A. in Computer Science from Technion, Israel in 1996, and M.Sc. in Computer Science from York University in 2005. The almost 10 years in between were spent working in the industry (IBM, Sangoma, Sun Microsystems) gaining real-world experience and a real interest in deeper issues in Computer Science.

The most reliable way to get in touch with me is by email: