Associate Editor of the Journal ``Formal Methods in System Design'',
Publishers, Jan 1997-onwards.
Co-chair of the 12th International Conference
on Computer Aided Verification 2000; 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;
Tenth and the Eleventh International Conference on Computer Aided
Verification held in 1998, 1999;
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
Served on NSF panels: Career Panel, 1997; SBIR panel 1998.