-
-
Aloysius K Mok
Professor
Department of Computer Science
Quincy Lee Centennial Professorship in Computer Science (Holder)Operating Systems, Distributed Systems, and Networking Securitymok@cs.utexas.edu
Phone: 512-471-9542
Office Location
GDC 6.512
Postal Address
2317 SPEEDWAY
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.
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.
-
- 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)
-
