University of Kansas logo

Program Overview:

EECS researchers develop, verify, and field high assurance information systems. Expertise includes theoretical modeling, synthesis and verification, security modeling and analysis, network and database security. Additionally, researchers explore user privacy and security issues in centralized, distributed, and Web environments. Expanding leading-edge cyber security and defense mechanisms earned EECS a federal National Center of Academic Excellence in Information Assurance Education designation.