Recent advances in knowledge about how people process and act upon information are presented. Models of human decision making are analyzed in the context of secure information systems and used to assess ways to best manage the people and technology associated with secure information systems. IT 222 Formal methods and practical techniques for the specification, design, implementation, and validation of computer software. Current software engineering and management practices, with emphasis on ensuring software reliability, safety, and security.
Course work includes a team project to develop a sizeable, real-world application software.
Fundamental simulation, modeling, and optimization algorithms. Advanced computational techniques for complex system modeling and analysis. Design and implementation issues. Important database systems. Security and integrity.