NOHA HAZZAZI

Department of Computer Science
PhD in Information Technology (student)

George Mason University

Publications

Link to all publications

• Formalizing and Verifying WOrkflows Used in Blood Bank
• Using Temporal Logic to Verify Blood Suppy Chain Safety - Conference Paper HIMS'15
• Using Temporal Logic to Verify Blood Suppy Chain Safety - Journal Paper

Mentioned on:

Background

Updating...

Education
• Information Technology Management, Canada
• Telecommunications and Networking, USA

Hobbies
• Swimming (snorkeling, diving)
• Outdoor activities (walking, cycling, etc...)
• Horseback Riding

With Adel al-Jubeir former ambassador and current Minister of Foreign Affairs of Saudi Arabia	With  Thomas Culligan CEO of Raytheon