Research Interests

• Computer Networks, network security, and wireless communications
• Formal approaches for design and verification
• Computer Architecture
• Computer Arithmetic

Research Grants

• Prinicipal Investigator, "Wireless LAN Laboratory," NSF, June 1, 2004, through May 31, 2005; $100,000 plus $100,000 in University of Bridgeport matching funds, Pending.
• Prinicipal Investigator, "Electronic Assesment of Undergraduate Porgrams (E-Assesment)" NSF, June 1, 2004, through May 31, 2006; $520,000, Pending.
• Co-PI, "Refining and Improving Science and Mathematics Understanding through Partnerships (Ris'm Up)", NSF, July 1, 2004 through June 30, 2009, $7,000,000, Pending.
• Prinicipal Investigator, "Mobile Content Mnanger," United Nations Develoment Program (UNDP), Transfer of Knowledge through Expatriate Nationals (TOTKEN) Fund, $3,500, June 2001, Funded.
• Co-Investigator, "Developing an Intelligence Web Based Expert System for Anemia Diagnosis and Categorization," Joint Science and Technology Fund, U.S. Egypt Joint Board on Scientific and Technological Cooperation, $50,000, October 2001, Senior Investigator, Pending.
• Co-Investigator, "Security Implementation and Evaluation of Armco Enterprise Network," Saudi Armco, SR 200,000, May 1999- May 2000, Funded.
• Principle Investigator, "A Formal Methodology for Parallel VLSI Algorithm Design," Jan. 1993- Dec. 1995. King Abdul Aziz City of Science and Technology (KACST), SR 293,000, Funded.