Aloysius K. Mok
Professor
Office:
GDC 6.512
Phone:
(512) 471-9542
Email:
mok [at] cs [dot] utexas [dot] edu
Homepage:
http://www.cs.utexas.edu/~mok/mok.html Research:
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.
UTCS Research Areas:
Selected Awards & Honors:
- 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)
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.
Books:
- 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:
- Chair, IEEE Technical Committee on Real-Time Systems, 1995-1996.
- Member, Steering Committee of Cyber-physical Systems Program, National Science Foundation
- Member of the Governor's Critical Infrastructure and Key Resources Protection Council, State of Texas, 2006.
- Associate Editor, ACM Transactions on Embedded Computing Systems Editorial Board, International Journal of Formal Methods in System Design.
