Generate a tailored SOP for Dr. Aloysius Mok. Improve your application with a focused, well-structured draft.
Dr. Aloysius K. Mok conducts fundamental research in the area of distributed real-time systems. His primary concerns focus on specification techniques for real-time systems, as well as algorithms that guarantee stringent timing constraints and understanding the trade-off between robustness and response time in critical systems. His goal is to develop a formal framework for the automation of analysis and synthesis in robust real-time systems. His research spans several application areas, including robot control systems, avionics software, and industrial process control systems. His work is funded by the Office of Naval Research to create highly automated design environments for these systems. Dr. Mok's research interests encompass cyber-physical systems, fault-tolerant hard-real-time systems, system architecture, and computer-aided system design tools. He has collaborated on various significant studies, contributing to advancements in real-time robotic task design and networked reliability.
The University of Texas at Austin • Austin, TX
Conducts research and teaches in the field of Computer Science, focusing on real-time systems.
General requirements for the Graduate School at UT Austin apply to all programs unless otherwise specified.