Edward A. Lee Division of Electrical Engineering (EECS) Cyber-Physical Systems, embedded software, modeling and design of systems, real-time and concurrent system, theory of current systems