The System Level Design group performs research on formal methods for system-level design of embedded applications. Of particular interest are fast methods for power and performance analysis that can guide the design process of portable information systems. Currently, the group develops probabilistic models for exploiting concurrency and communication in platform-based design of multimedia and wireless applications.

Research sponsored by:

	- Carnegie Mellon Cylab
	- National Science Foundation
	- Gigascale Silicon Research Center
	- Semiconductor Research Corporation