معرفی
Aloysius K. Mok is a Professor in the Department of Computer Science at the University of Texas at Austin, affiliated with the College of Natural Sciences. His research focuses on distributed real-time systems, cyber-physical systems, and fault-tolerant hard-real-time systems, with applications in robotics, avionics, and industrial process control. He is funded by the Office of Naval Research to develop automated design environments for time-critical systems.
Research interests include system architecture, computer-aided design tools, and software engineering for real-time systems. His work explores trade-offs between robustness and response times in time-critical applications.
Recent publications highlight trends in robotic task automation, RT-WiFi reliability, cyber-physical design for autonomous robots, laser control systems, and skill-based programming for furniture assembly, reflecting interdisciplinary applications of real-time computing.
Funding is provided by the Office of Naval Research to develop a formal framework for automating analysis and synthesis of robust real-time systems.
