Abstract: The talk focuses on different techniques in handling uncertainty.
We will identify models of uncertainty and its incorporation in query
languages. We will also discuss algorithms for processing uncertainty.

His research interests include Formal Methods in Concurrent and Distributed Systems; Semantics and Verification of Concurrent Programs; Database Management Systems; Security; and Distributed Systems.

His professional activities include many distinguished posts such as associate Editor of the Journal "Formal Methods in System Design", Kluwer Acdemic Publishers, Jan 1997-onwards.
Co-chair of the 12th International Conference on Computer Aided Verification 2000;
He served on the Program Committees of many conferences such as IEEE Symposia on Logic in Computer Science in 1988 and in 1995, International Conference on Data Engineering 1997, the
Tenth and the Eleventh International Conference on Computer Aided Verification held in 1998, 1999;
The 15th International Conference on Automated Deduction held in 1998;
Workshops on Computer Aided Verification held in 1990, 1991; CONCUR92 ---International Conference on Concurrency Theory to be held in 1992;
He also served on NSF panels: Career Panel, 1997; SBIR panel 1998, Member of ACM and IEEE