His research interests center on the design, specification, modeling, scheduling, and formal verification of real-time, embedded, and cyber-physical systems, green/power/thermal-aware computing, software engineering, knowledge-based systems, and networking
Publications/Creative Works
Click here to search for this faculty member's publications on PubMed.
Affiliations
Research Consortia
Gulf Coast Cluster for Artificial Intelligence in Healthcare
Important Disclaimer: The responsibility for the accuracy of the information contained on these pages lies with the authors and user providing such information.