Dr. Fadi Zaraket obtained his PhD in the ECE from UT Austin. Dr. Zaraket worked in the industry for a dozen years at IBM, Sun Microsystems, and Santa Cruz Operations. His current research spans the (1) automated correctness and (2) information extraction areas. He teaches programming and computer engineering courses. His current research involves extracting entities and relational associations from related text documents, aggregating the extracted entities into graph entities using cross-document analysis techniques, and analyzing the graph entities for domain specific insight. The application of this approach to medical publications in the area of brain diseases with focus on stroke, brain injury and spinal cord injury led to several discoveries. The approach was also applied to Arabic documents coupled with computational linguistic based features to extract information from several corpora such as temporal entities from news documents, narrator chain from literature documents, and family relations from biblical and Islamic tradition documents. Dr. Fadi published in the areas of verification of logic systems and information extraction in several renowned peer reviewed conferences and journals.