Aloysius K Mok

Biography

"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. "

Research Interest

Fault-tolerant hard-real-time systems, system architecture, computer-aided system design tools, and software engineering