 It was formed due to the demand for quality IT education in the country and the requirement for NUST to launch its own IT department.The school is split into two departments offering programs in both graduate and undergraduate levels.System Analysis and Verification Lab, SAVe, focuses research on using formal methods, which are based on mathematical techniques and thus unlike simulation ensure complete results, for the analysis and verification of hardware, software, and embedded systems.