Dr. Hassen Saidi

Dr Hassen Saidi received his Ph.D. in 1998 from the university Joseph Fourier (Grenoble, France) working on the combination of algorithmic and deductive verification techniques. He received a M.S. degree in 1994 from the university of Paris 7 working on the unification in typed lambda-calculus with recursion. He received an engineer degree from the university of Algiers (Algeria) in 1993 working on equivalence relations between processes. His research interests are computer-aided verification and theorem-proving technologies. Dr Hassen Saidi joined this year the Computer Science Laboratory at SRI Menlo Park as an international Fellow.

Email address: saidi@csl.sri.com

Home page: http://www.csl.sri.com/~saidi