ITTC Systems Level Design Group

The Systems Level Design Group is comprised of students and faculty investigating all aspects of systems level design at The University of Kansas Information and Telecommunications Technology Center. Advised by Dr. Perry Alexander, the group is engaged in several research projects including specification, verification and synthesis of complex systems as well as component reuse and architecture. Each applies engineering methods and formal modeling to specific systems engineering activities.

The Information and Telecommunications Technology Center is a consortium of researchers at The University of Kansas investigating all aspects of information technology. The Computer Systems Design Laboratory is an ITTC lab whose focus is the design of computer-based systems for embedded applications.