About me
Research lab: Haifa Research Lab
I am a Research Staff Member (RSM) at the IBM Haifa Research Laboratory, where I have been part of the Formal Verification team since 2000. My research interests are formal specification and verification and their applications to hardware and software development, SAT solving and benchmarking. I am currently leading a new project on use of formal methods for Business Continuity Solutions. Before joining IBM, I worked on ProATN "airborne internet" as a project manager for Thales ATM and before defending my PhD in 1997, I was a teaching and research assistant at Paris 6 University and at ENST.
Last updated 27 Feb 2006