Aloysius Mok

Aloysius K. Mok is a Professor in the Department of Computer Science at the University of Texas at Austin, holding the Quincy Lee Centennial Professorship in Computer Science. He heads the Real-Time Systems Research Group within the department. Mok received his B.S. degree in electrical engineering, M.S. degree in computer science, and Ph.D. degree in computer science, all from the Massachusetts Institute of Technology. He joined the faculty at the University of Texas at Austin as a fresh Ph.D. around 1983 and has progressed to full professor with an endowed chair.

Mok's research centers on cyber-physical systems, fault-tolerant hard real-time systems, system architecture, computer-aided design tools, and software engineering for distributed real-time environments. His work addresses specification techniques for real-time systems, algorithms to guarantee stringent timing constraints, and the trade-offs between robustness and response times in time-critical systems. The objective is to establish a formal framework for automating the analysis and synthesis of robust real-time systems. Application domains include robot control systems, avionics software, and industrial process control systems, with funding from the Office of Naval Research. Key contributions involve developing tools such as Real-Time Logic (RTL), Modechart Toolset, Timetool, and Ged for specification, modeling, analysis, verification, and synthesis. Prominent publications include "Fundamental design problems of distributed systems for the hard-real-time environment" (1983), "Multiprocessor online scheduling of hard-real-time tasks" (1989), "Preemptively scheduling hard-real-time sporadic tasks on one processor" (1990), "A multiframe model for real-time tasks" (2002), "Real time scheduling theory: A historical perspective" (2004), "WirelessHART: Applying wireless technology in real-time industrial process control" (2008), "Why WirelessHART" (2010), and "Safety analysis of timing properties in real-time systems" (2012). More recent papers cover schedule adaptation in RT-WiFi networks (2018) and cyber-physical designs for autonomous pick-and-place robots and selective laser sintering (2018).

Professional Email: mok@cs.utexas.edu