Fuad Abujarad, PhD, MSc
Associate Research Scientist
Department of Emergency Medicine
464 Congress Ave, Suite 260
New Haven, CT 06519, USA
• B.Sc. Eastern Mediterranean University (EE Engineering) 1993
• M.Sc. Michigan State University (Computer Science and Engineering) 2005
• Ph.D. Michigan State University (Computer Science and Engineering) 2010
• 2010-present Associate Research Scientist, Department of Emergency Medicine- Yale University, 464 Congress Ave, Suite 260 New Haven, CT 06519
• 2011-12 Research Scientist, Informatics Research Section-West Haven Veterans Administration, West Haven, CT
• 2008-2010 Research Assistant / System Architect & Programmers Team Leader for Usability & Accessibility Center, University Outreach and Engagement, Michigan State University, MI, USA
• 2005-2008 Research Assistant / System Architect & Programmers Team Leader for Office for Research Development Team, Office for Research, College of Communication Arts and Science, Michigan State University, MI, USA
• 1996-2004 Senior System Analyst & Programmers Team Leader, Arab Bank, PLC. Ramallah, Palestine
• 1995-1996 System Analyst, Data Set Software Development Tech, Ramallah, Palestine
• 1993-1995 Developer, Orient Soft, Tulkarem, Palestine
His research interests include: Automated Model revision, Fault-Tolerance, Formal Methods, Software Engineering, and Distributed Computing, background check systems.
PROFESSIONAL HONORS & RECOGNITION:
• 2011: NIH 2011 mHealth Winter Training Institute, Washington, DC
• 2009: Awarded student travel grant, Logical Aspects of Fault-Tolerance, UCLA
• 2006: Merit of Achievements, CAS, Michigan State University, USA
• 2004-2006 Fulbright Fellowship
• 1990-1993: High Honor Scholarship, Eastern Mediterranean University. Famagusta, N. Cyprus
PEER-REVIEWED ORIGINAL RESEARCH (JOURNAL PUBLICATIONS)
1. Abujarad F and Kulkarni SS. Weakest Invariant Generation for Automated Addition of Fault-Tolerance. Electronic Notes in Theoretical Computer Science (ENTCS). 2009; 5873: 3-15.
2. Abujarad F and Kulkarni SS. Automated Constraint-Based Addition of Nonmasking and Stabilizing Fault-Tolerance. Journal of Theoretical Computer Science. 2011; 412(33): 4228-4246.
3. Bonakdarpour B, Kulkarni SS, and Abujarad F. Symbolic Synthesis of Masking Fault-tolerant Distributed Programs. Springer Journal of Distributed Computing. 2012; 25(1): 83-108.
4. Chen J, Abujarad F, Kulkarni SS. Towards scalable model checking of self-stabilizing programs. Journal of Parallel and Distributed Computing. 2013; 73(4): 400-410.
PEER-REVIEWED ORIGINAL RESEARCH (CONFERENCE PUBLICATIONS)
1. Bonakdarpour B, Kulkarni SS and Abujarad F. Distributed Synthesis of Fault-Tolerance. International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS) LNCS. 2006; 4280: 566-567.
2. Bonakdarpour B, Kulkarni SS and Abujarad F. Distributed Synthesis of Fault-Tolerant Programs in the High Atomicity Model. International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS). LNCS. 2007; 4838: 21-36.
3. Abujarad F, and Kulkarni SS. 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: 28th. International Conference on Distributed Computing Systems Workshops. 2008; 539 -544.
4. Abujarad F, Bonakdarpour B, and Kulkarni SS. Parallelizing Deadlock Resolution in Symbolic Synthesis of Distributed Programs. International Workshop on Parallel and Distributed Methods in verification (PDMC). 2009; 92-106.
5. Abujarad F, and Kulkarni SS. Constraint Based Automated Synthesis of Nonmasking and Stabilizing Fault-Tolerance. 28th International Symposium on Reliable Distributed Systems (SRDS). 2009; 19-128.
6. Abujarad F, and Kulkarni SS. Weakest Invariant Generation for Automated Addition of Fault-Tolerance. Workshop on Logical Aspects of Fault Tolerance (LAFT). ENTCS. 2009; 258: 3-15
7. Abujarad F, and Kulkarni SS. Multicore Constraint-Based Automated Stabilization. The 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS). LNCS. 2009; 5873: 47-61.
8. Chen J, Abujarad F, Kulkarni SS. Effect of Fairness in Model Checking of Self-stabilizing Programs. International Conference On Principles Of Distributed Systems (OPODIS). 2010; 135-138.
9. Abujarad F, and Kulkarni SS. Complexity Issues in Automated Model Revision Without Explicit Legitimate State. International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS). LNCS. 2010; 6366: 206-220.
10. Swierenga, S J, Abujarad, F, Dennis, T A, & Post, L A. Real-world user-centered design: The Michigan Workforce Background Check system. Human Interface, Part II, HCII, LNCS. 2011; 6772: 325-334.
11. Swierenga, S J, Abujarad, F, Dennis, T A, & Post, L A. Improving Patient Safety Through User-Centered Healthcare Background Check System Design. Poster presentation at the Human Factors and Ergonomic Society Healthcare IT Symposium. Baltimore, MD. 2013.
12. Abujarad, F, Swierenga, S J, Dennis, T A, and Post, L A. Rap backs: Continuous workforce monitoring to improve patient safety in long-term care. Design, User Experience and Usability, HCII 2013; 8014: 3-9.
13. Abujarad F, Swierenga S, Dennis T, Post L. Management of On-Line Registries Information for Patient Safety in Long-Term Care. Human Interface and the Management of Information. Information and Knowledge in Applications and Services. 2014; 8522: 307-316.
14.Abujarad F, Swierenga SJ, Dennis TA and Post LA. Real-Time Screening to Improve Patient Safety in Long-term Care. HFES. 2014.