Hardware/Software Co-design:

High-level hardware development, hardware/software co-design, hardware compilation, rapid prototyping, high-level synthesis, optimization, formal development, modeling techniques, design of parallel algorithms.

Embedded System Design:

The design and implementation of fast, low-cost, and light embedded systems. The Integration of embedded systems within industrial applications, performance evaluation, reconfigurable computing, FPGA-based systems, PLDs, etc.

Internet-of-Things:

Remote sensing, sensor networks, fuzzy control, smart cities, building management systems, green houses, smart houses, renewable energy utilization, sustainable engineering, etc.

Engineering Education:

Accreditation, program development, quality assurance, assessment and evaluation frameworks, sustainability of education, STEM education.

Engineering Formal Methods:

Systems and software engineering, formal modeling, functional programming, concurrency, applications in engineering, formal hardware development.

Applications:

Security, natural language processing, multimedia processing, communications, computer graphics, etc.

A Unified Analysis Framework for Hardware/Software Co-Design

Since Sep 2012, With
Ms. Safaa Kasbah (Lebanese American University)
With the richness of present-day hardware architectures, research effort has been going into tightening the revealed synergy between hardware and software. The interest in unified hardware/software approaches paved the way for newborn areas such as hardware/software co-design. A large focus has been put on the creation of methodologies and tools to facilitate co-design including co-synthesis, partitioning, co-validation, co-simulation, etc. Implementations within co-design environments are usually analyzed using separate hardware or software performance profiling tools. This investigation formulates and deploys a meta-statistical analysis framework that can be embedded to various Hardware/Software Co-Design environments. The proposed framework comprises carefully developed analysis criteria, thorough performance indicators, and a combining statistical formulation that captures the intended analysis and aids evaluation. The developed framework allows for comparing and the reasoning about performance of various algorithm implementations running under hybrid hardware and software subsystems. The investigation includes case-studies that include the Lightness Indicator System that provides performance profiling for lightweight cryptographic algorithms. The work includes the development of a generic benchmark model that aids the clear presentation of the framework and its application, extensive performance analysis, evaluation, and a multi-dimensional classification of bouquets of algorithms. The main targeted high-performance computing devices are multi-core processors for software implementations, and high-end Field Programmable Gate Arrays and Graphics Processing Units for hardware implementations.

High-Performance Hardware Systems for Computationally Intensive Applications

Since Sep 2004, With
Dr. Ramzi Haraty (Lebanese American University)
Ms. Safaa Kasbah (Lebanese American University)
Ms. Amina Maarouf (Lebanese American University)
Mr. Omerfraz Khan (Dhofar University)
Mr. Wael Ghazawi (Rafic Hariri University)
Mrs. Fatma Qatan (American University of Kuwait)
Targeted areas include cryptography, mathematical solvers, signal processing, natural language processing, etc.

Internet-of-Things and Automation Applications

Since Sep 1998, With
Dr. Ziad Osman (Beirut Arab University)
Mr. Raslan Abaji (CISCO Networks)
Mr. Samer Essa (American University of Kuwait)
Mr. Alaa Eddin Alchalabi (American University of Kuwait)
Mr. Haseeb Shahzad (American University of Kuwait)
Mr. Mohammed El-Shafei (American University of Kuwait)
Mr. Adel Shalati (American University of Kuwait)
Mr. Maher Rehayel (American University of Kuwait)
Mr. Jasem Al-Fadhly (American University of Kuwait)
Mr. Abdelwahab Yousef (American University of Kuwait)
Ms. Alaa Abdullah (American University of Kuwait)
Ms. Shahad Al-Enezi (American University of Kuwait)
At the turn of the 21st century, we are witnessing an unprecedented demand on upgrading our daily-life tools and equipment through Internet connectivity, automated features, and smart interactions to name a few. In 1993, IBM and BellSouth released the first touch screen smartphone - "Simon." Currently, the demand is beyond the most sophisticated smartphones in the market. It is the time of smart TVs, houses, buildings, cars, cities, and more. We are in the era of pervasive computing. Indeed, the best time for the Internet-of-Things is still to come.

The Sustainability of Technical Education: A Measurement Framework

Since August 2011, With
Dr. Ashley Ater Kranov (Washington State University)
The term Sustainability aims to describe the capacity of meeting the needs of the present without compromising the future. Educators repeatedly say: “teach a man to fish and you feed him for a lifetime!” Indeed, the modern uses of the term Sustainability are inspiring in quality education. Yet, there hasn’t been a serious effort to formulate quality education based on sustainability. The Sustainability of Technical Education is defined in terms of the ability of the educational system and approach to improve without reducing its capacity to endure. Based on our definition, we refine a framework for measuring the sustainability of education in higher-education institutions. The structure of the refined framework comprises criteria, measures, indicators, and a detailed set of rubrics. Here, technical education is concerned with Engineering, Engineering Technology, Computing, and Applied Science. Work in progress aims to execute multistage data collection procedures using a case-study methodology. The case studies aim to answer the following questions: Do measurement tool scores reliably provide information about the sustainability of education that the institution provides? What is the correlation coefficient between the measurement tool scores and scores from other established instruments that measure the same or similar criteria? To what extent does the implementation of the study assessment bring benefits to participating Institution? To what extent does the implementation of the study contribute to demonstrating its value for the improvement of sustainability of education?

Unified Methodologies for Assessment and Evaluation in Engineering Education

Since September 2012, With
Dr. Jibran Yousafzai (American University of Kuwait)
Dr. Mohammed El Abd (American University of Kuwait)
This research project aims at the development of unified methdologies and approaches for assessment and evaluation in technical higher education. The investigations comprise case-studies on minimalistic, simple, accurate, and effective approaches. The proposed methodologies target capstone design projects, senior design experiences, and successful applications in accrediting engineering programs by ABET. One of the project papers on "A Unified Approach for Assessing Capstone Design Projects and Student Outcomes In Computer Engineering Programs" Received Best Paper Award in the IEEE Global Engineering Education Conference (EDUCON 2015), Tallinn, Estonia, 2015.

Synthesis of Parallel Algorithms and their Mapping onto Reconfigurable Hardware

Sep 2001 - August 2016, With
Dr. Ali Abdallah (Birmingham City University; London South Bank University)
Dr. John Hawkins (London South Bank University)
Mr. Ahmed Ablak (American University of Kuwait)
This research project aims at developing a rapid prototyping methodology that enables high-level synthesis of massively parallel algorithms and their mapping onto hardware circuits. Early works in this project included several case-studies from engineering applications with focus on cryptography. The developed case-studies enabled the tuning of the method and subjecting it to evident critique and further development. The methodology has been partly automated using a Haskell to Handel-C Compiler (HTCC Beta). Formalisms and techniques used include functional specifications, function decomposition strategies, data refinement techniques, and refinements to communicating sequential processes (CSP). Software packages used include different Haskell compilers, Handel-C DK Design Suite, Xilinx ISE, Altera Quartus, and ANTLR compiler-compiler tool. Targetted hardware include RC-1000, RC-2000, and DE4 FPGA-boards.

Parallel Arabic Natural Language Processing Systems

Sep 2005 - July 2017 With
Dr. Rached Zantout (Hariri Canadian University)
Dr. Lama Hamandi (American University of Beirut)
Dr. Ahmad Ghuessoum (University of Sharjah)
Mr. Mahmoud Imdoukh (American University of Kuwait)
Natural Language Processing (NLP) is a rapidly developing field. In this project, the aim is to providing efficient parallel algorithms with optimized performance characteristics. The targeted processing systems are high-performance multi-core processors and high-end Field Programmable Gate Arrays (FPGAs). The current focus is on Arabic Morphological Analysis.

Performance Evaluation of Reconfigurable Computing Systems

April 2000 – August 2004, With
Prof. Hassan Diab (American University of Beirut)
Prof. Fadi Kurdahi (University of California at Irvine)
Prof. Albert Zomaya (University of Sydney)
Dr. Souhaib Majzoub (King Saud University)
Dr. May Itani (American University of Beirut)
Ms. Safaa Kasbah (Lebanese American University)
Ms. Nathalie Awad (American University of Beirut)
This project includes studies selected from computer graphics, signal processing, computer networks, digital coding, etc. Targeted hardware systems include the MorphoSys reconfigurable system from the University of California at Irvine and various FPGA systems. Software packages used include the mULATE emulator for the MorphoSys.

Performance Testing of Refrigerators using Fuzzy Inference Methodology Under LABView

Aug 1999 - June 2000, With
Prof. Hassan Diab (American University of Beirut)
Prof. Jean Saade (American University of Beirut)
This project employed fuzzy inference methodology in order to pave the way for the emergence of an intelligent, automated and efficient procedure for the refrigerant charging of refrigerators. Interfacing and control are done using National Instruments hardware systems. The graphical language G under LabVIEW is used for programming. This project was the first prize winner in the Fourth Exhibition on Industrial Research Achievements in Lebanon 2000. The theory behind this project was published in the 7th IEEE International Conference on Electronics, Circuits and Systems Beirut, Lebanon 2000.