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