Academic and Teaching Staff

Prof. SHA Lui Raymond

Chair Professor under the Distinguished Chair Professor Scheme

PhD(CMU); FIEEE; FACM

RESEARCH INTERESTS

Cyber Physical Systems, Formalized Reduced Complexity Architecture Patterns, Distributed real-Time fault tolerant computing systems, dynamic real-Time architecture

BIOGRAPHY

Prof. Sha graduated with Ph.D. from Carnegie-Mellon University in 1985. He joined UIUC in 1998. Currently, he is Donald B. Gillies Chair Professor of Computer Science and Director of the Cyber Physical Systemns Integration Lab, University of Illinois at Urbana Champaign. He was a member and then a senior Member of Technical Staff at Software Engineering Institute (SEI) from 1986 to 1998. He was the Chair of IEEE Real Time Systems Technical Committee from 1999 to 2000, and has served on its Executive Committee since 2001. He is a member of National Academy of Science's study group on Software Dependability and Certification from 2004 to 2005, and an IEEE Distinguished Visitor from 2005 to 2007. He is an IEEE Fellow and an ACM fellow.

His research area is the design and integration of robust real time embedded systems using a mixture of new and reused components. His work and paper were cited as a major accomplishment in the selected accomplishments section of National Academy of Science's 1992 National Research Council Report, A Broader Agenda for Computer Science and Engineering (p. 193). His research is approved by FAA for flight control under DO178B Level A certification, supported by nearly all the open standards and most of commercially available operating systems, middleware and tools for real time computing and made many important contributions to national high technology programs.

He led the research on Generalized Rate Monotonic Scheduling (GRMS) theory, which was cited as a major accomplishment in the selected accomplishment section of the 1992 National Academy of Science’s report, “A Broader Agenda for Computer Science and Engineering” (P.193). He led a comprehensive revision of IEEE standards on real-time computing, which have since become the best practice in real-time computing systems. Later, he led the development of Complexity Reduction and Control architectures for dependable real-time systems, including Simplex architecture and Physically Asynchronous Logically Synchronous architecture.

He is widely cited author in real-time and embedded computing community. His work on real-time and safety critical system integration have impacted many large scale high technology programs including GPS, Space Station, and Mars Pathfinder. Now it is widely used in system real time constraints such as airplanes, robots, cars, ships, trains, medical devices, power generation plants and manufacturing plants.

In recent years, his team is developing the technologies for secure and certifiable multi-core avionics with aviation community and computational pathophysiology models for medical best practice guidance (“GPS”) systems with medical community.