Albert M. K. Cheng
Location: (Houston, Texas)
Personal Research Web Page: http://www2.cs.uh.edu/~acheng/acheng.html
Keywords: Real-Time Systems; Embedded Systems; Cyber-Physical Systems; Formal Verification; Networking; Software Engineering; Operating Systems; Power-Aware and Green Computing.
Posted on: Friday, May 14th, 2010
Broad Research Area: AI / Machine Learning / Robotics / Vision, Information Assurance / Security / Privacy / Cryptography, Mobile / Ubiquitous / Embedded Computing, Networks / Operating Systems, Software Engineering
Research Interests:
More and more computer systems are built as integral parts of many of today’s systems and devices to monitor and control their functions and operations. These embedded/networked systems often operate in environments where safety is a major concern. These computer systems must be highly dependable and timely. My teaching and research focus on building these real-time, embedded systems, and cyber-physical systems. Research topics include: scheduling, formal verification, networking, power-aware techniques, real-time security, and software engineering.
Contact Information:
Please send me email: cheng@cs.uh.edu
