Aloysius K. Mok

GDC 6.512
(512) 471-9542
mok [at] cs [dot] utexas [dot] edu

Professor Mok's primary research interest is in real-time and embedded systems and the recent development in the emerging field of cyber-physical systems research. He has made fundamental contributions to the formal specification, analysis and synthesis techniques of real-time and embedded systems and he is internationally known for his work in hard real-time scheduling algorithm design. Professor Mok has consulted widely for both the U.S. government and industries and is the holder of several patents. He is the co-founder of a company in advanced industrial wireless control. 

Selected Awards & Honors: 
  1. Award for Outstanding Technical Contributions and Leadership Achievements in Real-Time Systems, IEEE Computer Society Technical Committee on Real-Time Systems, 2002
  2. Distinguished Visitor, IEEE Computer Society (2004-2006)
  3. Commendation from the Secretary of the United States Air Force for service on the F-22 Avionics Software Advisory Team (2004)
  4. Quincy Lee Centennial Professorship, University of Texas at Austin
  5. Excellence in graduate teaching award, ACM Chapter, the University of Texas at Austin (1984)
Selected Publications: 
  1. with D.J. Chen et al. Ã’Utilization Bound Revisited, IEEE Transactions on Computers. vol. 52, no. 3, March 2003, pp. 351-361.
  2. with D.A. Stuart et al. Simulation-Verification: Biting at the State Explosion ProblemÓ, IEEE Transactions on Software Engineering, vol. 27, no. 7, July 2001, pp. 599-617.
  3. with T.W. Kuo et al. Real-Time Data Semantics and Similarity-Based Concurrency Control, IEEE Transactions on Computers, vol. 49, no. 11, November 2000, pp. 1241-1254.
  4. with S. Baruah et al. Generalized Multiframe Tasks, Real-Time Systems Journal, vol. 17, no. 1, July 1999.
  5. with F. Jahanian et al. Safety Analysis of Timing Properties in Real-Time Systems, IEEE Transactions on Software Engineering, September 1986, pp. 890-904.
  • Chapter in "Trends in Formal Methods for Real-Time Computing". C. Heitmeyer and D. Mandrioli, Eds., John Wiley, New York, 1996.
  • Chapter in "Foundations of Real-Time Computing: Formal Specifications and Methods". A. van Tilborg and G. Koob, Eds., Kluwer Academic Publishers, 1991.
  • "WirelessHART: Real-Time Mesh Network for Industrial Automation". D.J. Chen, M. Nixon and A.K. Mok, Springer Verlag Publishers, 2010.
Professional Activities: 
  1. Chair, IEEE Technical Committee on Real-Time Systems, 1995-1996.
  2. Member, Steering Committee of Cyber-physical Systems Program, National Science Foundation
  3. Member of the Governor's Critical Infrastructure and Key Resources Protection Council, State of Texas, 2006.
  4. Associate Editor, ACM Transactions on Embedded Computing Systems Editorial Board, International Journal of Formal Methods in System Design.