Professor Lee's research group studies real-time software, specifically: models of computation with time and concurrency, metaprogramming techniques, code generation and optimization, domain-specific languages, architectures for real-time computing, schedulability analysis, and programming of sensor networks. His group has been involved with parallel and distributed computing, including: models of computation with distributed real-time behaviors, partitioning and scheduling algorithms, backtracking techniques for fault tolerance and recovery, lifecycle management, unreliable networks, and modeling of sensor networks. His group has made contributions in semantics, including domain polymorphism, behavioral type systems, meta-modeling of semantics, and comparative models of computation. His group has also worked on blending computing with continuous dynamics and hybrid systems. Prof. Lee himself has an extensive background in signal processing and physical-layer communication systems, and he has co-authored four books on these subjects.
See also: