444 Computer Science, IERF 126
Irvine, CA 92697-3425
leep @ uci.edu
(949) 380-6046
Research
My research is in the area of Software for Embedded Systems and Behavioral Design Validation. I am currently investigating issues related to Realtime Operating Systems (RTOS), stack overflow problems in embedded systems, and techniques comparing simulation-based validation and formal verification of behavioral designs. Please follow the links below to learn more about the various projects with which I am involved: