Button to scroll to the top of the page.

Aloysius K Mok

Department of Computer Science

Quincy Lee Centennial Professorship in Computer Science

Operating Systems, Distributed Systems, and Networking Security


Phone: 512-471-9542

Office Location
GDC 6.512

Postal Address
AUSTIN, TX 78712

B.S., Massachusetts Institute of Technology (1977)
M.S., Massachusetts Institute of Technology (1977)
Ph.D., Massachusetts Institute of Technology (1983)

Research Interests
Fault-tolerant hard-real-time systems, system architecture, computer-aided system design tools, and software engineering

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 Publications 

with D.J. Chen et al. ÒUtilization Bound Revisited, IEEE Transactions on Computers. vol. 52, no. 3, March 2003, pp. 351-361.

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.

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.

with S. Baruah et al. Generalized Multiframe Tasks, Real-Time Systems Journal, vol. 17, no. 1, July 1999.

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.

  • Award for Outstanding Technical Contributions and Leadership Achievements in Real-Time Systems, IEEE Computer Society Technical Committee on Real-Time Systems, 2002
  • Distinguished Visitor, IEEE Computer Society (2004-2006)
  • Commendation from the Secretary of the United States Air Force for service on the F-22 Avionics Software Advisory Team (2004)
  • Quincy Lee Centennial Professorship, University of Texas at Austin
  • Excellence in graduate teaching award, ACM Chapter, the University of Texas at Austin (1984)