<Li> Master's in Information Technology </Li> <Li> Ph. D in Information Technology </Li> <P> 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 . </P> <P> The Data Engineering for Large Scale Applications, DELSA, research group explores semantics, databases, and interoperable systems in scientific and business domains . The research group aims at broadening the focus of database and data management techniques beyond their traditional scope . </P>

Nust school of electrical engineering & computer science