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. Each applies engineering methods and formal modeling to specific systems engineering activities. We make extensive use of operational semantics, logic, category theory and algebra theory.
The Information and Telecommunications Technology Center (ITTC) is an interdisciplinary consortium of researchers at The University of Kansas investigating all aspects of information technology. ITTC research ranges from low-level signal processing to high-level data mining and retrieval. The Computer Systems Design Laboratory is an ITTC lab whose focus is the design of computer-based systems for embedded applications. CSDL research includes new hardware architectures for embedded systems, real-time operating systems, trusted systems, system specifiation, specification languages, and predictive analysis techniques