91破解版

路 Ph.D. in Computer Science, The University of Texas at Austin

路 M.S. in Computer Science with a minor in Electrical Engineering, The University of Texas at Austin

路 B.A. with Highest Honors in Computer Science, The University of Texas at Austin

Dr. Albert Cheng, a U.S. Department of State Fulbright specialist, is a full professor and former interim associate chair of computer science and a full professor of electrical and computer engineering at the 91破解版 in Houston, Texas. He was a visiting professor at Rice University and the City University of Hong Kong. Prof. Cheng is the President of the Mu of Texas Chapter of the nation's oldest and most prestigious honor society Phi Beta Kappa, a Distinguished Member and Speaker of the ACM, an Honorary Member of the Institute for Systems and Technologies of Information, Control and Communication, and a Fellow of the Institute of Physics. An author of over 280 publications, Prof. Cheng is an Associate Editor of the ACM Computing Surveys (CSUR) and has recently completed his six-year term as an Associate Editor of the IEEE Transactions on Knowledge and Data Engineering (TKDE). Previously, he was an Associate Editor of the IEEE Transactions on Computers (TC) and the IEEE Transactions on Software Engineering (TSE). Prof. Cheng's research interests center on the design, specification, analysis, optimization, formal verification, scheduling, and implementation of embedded and real-time systems, real-time virtualization, cyber-physical systems/Internet of things, real-time NLP, real-time AI/machine learning, knowledge-based systems, functional reactive systems, and security. He received the 2015 91破解版's Lifetime Faculty Award for Mentoring Undergraduate Research. He implemented in C the first model checker, co-invented by ACM Turing Award winner E. Allen Emerson, augmented with semantics-based analysis for rule-based expert systems. He authored the popular textbook Real-Time Systems: Scheduling, Analysis, and Verification. Prof. Cheng is the Founder and CEO of AMKC Informatics, LLC.

路 President, Mu of Texas Chapter of the Phi Beta Kappa, the nation鈥檚 oldest and most prestigious honor society.

路 Fellow of the Institute of Physics.

路 Distinguished Member of the Association for Computing Machinery (ACM).

路 Distinguished Speaker of the ACM.

路 Senior Member of the IEEE.

路 Honorary Member of the Institute for Systems and Technologies of Information, Control and Communication.

路 91破解版's Lifetime Faculty Award for Mentoring Undergraduate Research 2015.

路 Michael Yantosca and Albert M. K. Cheng, 鈥淧honotomizer: A Compact, Unsupervised, Online Training Approach to Real-Time, Multilingual Phonetic Segmentation,鈥� Proceedings of the Main Conference, The 63rd Annual Meeting of the Association for Computational Linguistics (ACL), Vienna, Austria, July 27- August 1, 2025.

路 Albert M. K. Cheng, 鈥淩esponse Time Analysis of Real-Time Quantum Computing Systems,鈥� Proceedings of the 29th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), CPS-IoT Week, San Antonio, Texas USA, May 9-12, 2023.

路 Guangli Dai, Pavan Kumar Paluri, and Albert M. K. Cheng, 鈥淓nhanced Schedulability Tests for Real-Time Regularity-Based Virtualized Systems with Dependent and Self-Suspension Tasks,鈥� Journal of Real-Time Systems (JRTS), Volume 58, pages 401-429, November 2022.

路 Guangli Dai, Pavan Kumar Paluri, Albert M. K. Cheng, and Bozheng Liu, 鈥淩egularity-based Virtualization under the ARINC 653 Standard for Embedded Systems,鈥� IEEE Transactions on Computers (TC), Volume 71, Issue 10, pages 2592- 2605, October 2022.

路 Pavan Kumar Paluri, Guangli Dai, and Albert M. K. Cheng, 鈥淎RINC 653-Inspired Regularity Based Resource Partitioning on Xen,鈥� Proceedings of the 22nd ACM International Conference on Languages Compilers, Tools and Theory of Embedded Systems (LCTES), co-located with PLDI, Virtual, June 2021. Artifact Evaluated: Available and Functional.