Experiance

August 2000 onwards: Full Professor, Department of Electrical Engineering and Computer Science, University of Illinois at Chicago.
August 1994 - July 2000: Tenured Associate Professor, Department of Electrical Engineering and Computer Science, University of Illinois at Chicago.
August 1991- July 94: Associate Professor (untenured), Department of Electrical Engineering and Computer Science, University of Illinois at Chicago.
October 1985 - July 1991: worked as a Senior Member of Technical Staff in the Computer and Intelligent Systems Lab of GTE Laboratories Inc. During this period was involved in basic research in the areas of Distributed Systems, and Semantics and Verification of Concurrent Programs. During this period published papers in reputed conferences and journals and actively participated in research community activities.
Sept 83 - August 85: Assistant Professor, University of Massachusetts at Amherst,Massachusetts;
July 76 - August 79: Systems Analyst, Tata Consultancy Services, Bombay, India.

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; 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 1992;
Served on NSF panels: Career Panel, 1997; SBIR panel 1998.
Presented talks at many conferences
Member of ACM and IEEE.