Professor Givargis' research is in the area of Software for Embedded Systems. He is currently investigating issues related to Real-Time Operating System (RTOS) synthesis, high-confidence embedded software, serializing compilers, and algorithmic code transformation techniques targeting embedded software.