EDUCATION

Ph.D., Information Technology, George Mason University, Fairfax, Virginia.

M.S., Electrical and Computer Engineering, George Mason University, Fairfax, Virginia.

B.E., Electrical Engineering, NED University of Engineering and Technology, Pakistan.

CURRENT POSITION

Visiting Research Assistant Professor (Post Doctoral Fellow) at C3I Center of George Mason University. Research in C3 Architectures, Distributed Intelligence Systems, and Intelligent Control.

EXPERIENCE

Spring 1995-present Visiting Research Assistant Professor (Post-Doctoral Fellow), Center of Excellence in Command, Control, Communication, and Intelligence, George Mason University.

Fall 1991-Fall 1994 Graduate Research Assistant, Center of Excellence in Command, Control, Communication, and Intelligence, George Mason University. Assistantship supported by grants provided by Office of Naval Research (ONR).

Spring 1990-Summer 1992 Graduate Research Assistant, Center of Excellence in Command, Control, Communication, and Intelligence, George Mason University. Assistantship supported by grants provided by Basic Research Group of the Joint Directors of Laboratories (JDL) and Science Applications International Corporation (SAIC).

Spring 1989-Fall 1989 Lecturer, Department of Electrical and Computer Engineering, NED University of Engineering and Technology. Started as a part-time Lecturer and then appointed (on probation) in B.P.S. 17.

AWARDS

1995, Nominated and Elected for Full Membership in Sigma Xi.

1994, Awarded SITE Doctoral Fellowship by the School of Information Technology and Engineering, George Mason University.

1989, Awarded Qarza-e-Hasna Scholarship by Pakistan Banking Council for pursuing graduate studies in the United States.

Awarded Merit Scholarships during the stay at NED University of Engineering and Technology.

1980, Awarded Merit Scholarship by the Board of Secondary Education, Karachi.

SPECIAL INTERESTS

Distributed intelligence systems, intelligent control, temporal control of discrete event systems, validation and verification of rule-based systems in hard (FOPC, etc.) and soft (probabilistic, fuzzy, etc.) logic, logic programming, and colored petri nets.

PAPERS, PUBLICATIONS, AND TECHNICAL REPORTS

Abbas K. Zaidi, "Validation and Verification of Decision Making Rules," Technical Report, C3 Architectures Lab, Center of Excellence in C3I, GMU/C3I-155-TH, Nov. 1994.

Abbas K. Zaidi and Alexander H. Levis, "Algorithmic Design of Distributed Intelligence System Architectures," in M.M.Gupta and N.K. Sinha (eds.), Intelligent Control Systems: Theory and Practice. IEEE Press, 1994.

Alexander H. Levis and Abbas K. Zaidi, "A Mathematical Description of Team Design and Indirect Coordination," presented at Symposium on Command and Control Research, National Defense University, Washington, DC, June 1993.

Didier Perdu, Abbas K. Zaidi, Azar Sadigh, Paul Lehner, and Alexander H. Levis, "On a Methodology for Team Design Using Influence Diagrams," Proc. 1993 Symposium on Command and Control Research, National Defense University, Washington, DC, June 1993.

Reginald F. Gaylord, Abbas K. Zaidi, Susan L. Herald, and Alexander H. Levis, "Accuracy of a Battle Group Commander's Tactical Picture," Proc. 1991 Symposium on Command and Control Research, National Defense University, Washington, DC, July 1991.

Abbas K. Zaidi and Alexander H. Levis, "Algorithmic Design of Multilevel Organizational Structures," Proc. IEEE International Conference on Systems, Man, and Cybernetics, Chicago, Aug. 1992.

Abbas K. Zaidi and Alexander H. Levis, "Accuracy and Timeliness in Developing a Tactical Picture," Proc. of International Conference on IDASCO, Oxford University, UK, April 1992.

Abbas K. Zaidi, "On the Generation of Multilevel Distributed Intelligence System Using Petri Nets," Technical Report, C3 Architectures Lab, Center of Excellence in C3I, GMU/C3I-112-TH, Nov. 1991.

To Appear:

Abbas K. Zaidi and Alexander H. Levis, "Validation and Verification of Decision Making Rules," to be presented in the 6th IFAC/IFIP/IFORS/IEA Symposium on Analysis, Design, and Evaluation of Man- Machine Systems, M.I.T., Cambridge, MA, June 1995 (to be submitted for publication).

Abbas K. Zaidi and Alexander H. Levis, "On Verifying Inferences in an Influence Diagram," to be presented in the 1995 Symposium on Command and Control Research, National Defense University, Washington, DC, July 1995.

Abbas K. Zaidi and Alexander H. Levis, "Decomposition and Validation of Distributed Decision Making Rules," to be presented in the 1995 Symposium on Command and Control Research, National Defense University, Washington, DC, July 1995.

Zhenyi Jin, Abbas K. Zaidi, and Alexander H. Levis, "Deadlock and Trap Analysis in Petri Net Models of C2 Systems," to be presented in the 1995 Symposium on Command and Control Research, National Defense University, Washington, DC, July 1995.