Fuad Abujarad, PhD

Associate Research Scientist in Emergency Medicine

Research Interests

Medical Informatics; Health Information Exchange

Research Summary

Dr. Abujarad’s primary research area is in Health Information Technology (HIT). Currently, Dr. Abujarad is utilizing HIT to improve patient health outcomes while decreasing costs and unnecessary hospitalizations and emergency department visits. His specific research interests focus on the area of mHealth technology, human-computer interaction, Automated Model revision, Fault-Tolerance, Formal Methods, Software Engineering, Distributed Computing, and systems that provide real-time background searches. His overarching aim is to apply his in-depth knowledge and methodological expertise to address major health disparities in vulnerable populations by developing technologies that optimize the human interface of complex systems. Currently, his research is focused on developing and testing a web-based patient centered virtual multimedia interactive informed consent tool to enhance quality of care and patient safety. This research was recently funded by AHRQ.

Extensive Research Description

Dr. Abujarad is currently the Principal Investigator (PI) on the grants “Michigan Workforce Background Check-Enhancement Project” from the Center for Medicare and Medicaid Services (CMS) and the “Health Information Technology to Prevent Abuse, Neglect, and Exploitation” from Michigan State University (MSU) and a Co-Investigator on the grants “Automated Bilingual Computerized Alcohol Screening & Intervention in Latinos” from National Institutes of Health (NIH), and “Clinical Decision Support for Mild Traumatic Brain Injury” from Agency for Healthcare Research and Quality's (AHRQ). He also serves as co-investigator on an R01 funded random control trial in the Yale Emergency Department. The tool will be used to reduce emergency department recidivism and to determine the impact of HIT in a high volume emergency department.

To this end, Dr. Abujarad has successfully secured a grant on the very important topic of patient safety and quality of care. He is the Principal Investigator on the Michigan Workforce Background Check – Enhancement grant from Department of Health and Human Services Center for Medicare and Medicaid Services (CMS) awarded for utilizing the web-based applications to better protect patients receiving long-term care. The system he is currently developing will save time and money for health care facilities and will vet healthcare worker backgrounds to better protect patients. A similar system he designed for a Department of Health and Human Service pilot study continues to be used for five years after the end of the study. This project has been named the national model for best design practices for a comprehensive background checks to protect vulnerable adults receiving long-term care services.

Dr. Abujarad's work focuses on both the theoretical aspects of the software development as well as on building patient-centered tools. His work has been motivated by an important observation in distributed computing called fault-tolerance. Moreover, as part of software engineering, it is often necessary to modify a program to add fault-tolerance to faults that were not considered in the original design. With this understanding, he developed new algorithms for automated synthesis in addition to parallelizing existing algorithms. He has done a significant advance in the field of automated synthesis. He co-authored a book chapter titled Stabilizing Interference-Free Slot Assignment for Wireless Mesh Networks in Guide to Wireless Mesh Networks. He has published and presented widely in the top engineering journals on automated model revision topics.

He published and presented widely on human-computer interaction and automated model revision topics. He was the principal investigator on a federally funded research project that applied engineering principles to improve the safe administration of opioids in patient-controlled analgesia in both inpatient and home-based primary care settings. Also, he was the Yale-PI on the development of the Delaware Background Check System for the Delaware Health and Social Services Department, the Criminal History System (CHS) for the Washington State Department of Social & Health Services, and the State Of Maine Department of Health and Human Services to develop the Maine Background Check Program (MEBCP).

Selected Publications

  • Reviewed Book Chapters: M. Arumugam, A. Jhumka, F. Abujarad, and S. S. Kulkarni. Stabilizing Interference-Free Slot Assignment for Wireless Mesh Networks. In Guide to Wireless Mesh Networks, Springer, Editors: Sudip Misra, Subhas Chandra Misra, and Isaac
  • Fuad Abujarad, and Sandeep S. Kulkarni. Complexity Issues in Automated Model Revision Without Explicit Legitimate State. International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), LNCS 6366, pp. 206-220, September-2010.
  • Jingshu Chen, Fuad Abujarad, Sandeep S. Kulkarni. Effect of Fairness in Model Checking of Self-stabilizing Programs. International Conference On Principles Of Distributed Systems (OPODIS) .p.p. 135-138, December-2010.
  • Fuad Abujarad, and Sandeep S. Kulkarni. Weakest Invariant Generation for Automated Addition of Fault-Tolerance. Electronic Notes in Theoretical Computer Science (ENTCS). 5873, pp.3-15, December-2009
  • Fuad Abujarad, Borzoo Bonakdarpour, and Sandeep S. Kulkarni. Parallelizing Deadlock Resolution in Symbolic Synthesis of Distributed Programs. International Workshop on Parallel and Distributed Methods in verifiCation (PDMC), pp. 92-106. November -2009.
  • Fuad Abujarad, and Sandeep S. Kulkarni. Constraint Based Automated Synthesis of Nonmasking and Stabilizing Fault-Tolerance. 28th International Symposium on Reliable Distributed Systems (SRDS), pp. 119-128, September-2009.
  • Fuad Abujarad, and Sandeep S. Kulkarni. Weakest Invariant Generation for Automated Addition of Fault-Tolerance. Workshop on Logical Aspects of Fault Tolerance (LAFT), ENTCS 258, pp. 3-15, August-2009.
  • Fuad Abujarad, and Sandeep S. Kulkarni. Multicore Constraint-Based Automated Stabilization. The 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), LNCS 5873, pp.47-61, November-2009.
  • Fuad Abujarad, and Sandeep S. Kulkarni. Automated Addition of Fault-Tolerance to SCR Toolset: A case study. The Seventh International Workshop on Assurance in Distributed Systems and Networks (ADSN), in ICDCSW '08: Proceedings of the 2008 The 28th Interna
  • Borzoo Bonakdarpour, Sandeep S. Kulkarni, and Fuad Abujarad. Distributed Synthesis of Fault-Tolerant Programs in the High Atomicity Model. International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), LNCS 4838, pp.21-36,Nov
  • Borzoo Bonakdarpour, Sandeep S. Kulkarni, and Fuad Abujarad. Distributed Synthesis of Fault-Tolerance. International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), LNCS 4280, pp. 566-567, November 2006.

Edit this profile

Contact Info

Fuad Abujarad, PhD
Mailing Address
464 Congress Ave, Suite 260
New Haven, CT 06519-1315