Professor Albert Cheng's research focuses on the design, formal specification, analysis, optimization, verification, and implementation of embedded and real-time systems, smart city and transportation systems, cyber-physical systems, Internet of things, real-time machine learning, virtualized platforms, and functional reactive systems with positive societal inpacts. An author of over 270 publications, Professor Cheng is a U.S. Department of State Fulbright Specialist, a Distinguished Member and Speaker of the ACM, a Senior Member of the IEEE, an Honorary Member of the Institute for Systems and Technologies of Information, Control and Communication, and a Fellow of the Institute of Physics. He is an Associate Editor of the IEEE Transactions on Knowledge and Data Engineering (TKDE) and the ACM Computing Surveys (CSUR). He authored the popular textbook "Real-Time Systems: Scheduling, Analysis, and Verification."