PhD graduates should be able to:

1. Identify research questions in emerging computing sciences and independently conduct competitive solutions in comparison with state of the art solutions.
2. Demonstrate the ability of scientifically communicate technical information of their related discipline
3. Research and critique computing literature and utilize it for proposing a solution
4. Demonstrate the advance and practical concepts of computing

 Semester-I

          Semester-II

          Semesters III-VIII

(This list is not exhaustive, and new courses can be added to this category at any time depending upon the availability of the instructor)

List of Core Courses

List of Elective Courses

Course Specifications

CSC-XXXX: Formal Verification and Specification

Problem in Software Development, Formal Methods for the problems, Three levels of formal method, Design Process Uses, Automated Proof, Formal Languages, Validation, Precedence, Set operators, Power sets, Subjects and predicate, Symbolization Convention, Negative Quantifiers, Binary Relations, Reflexivity, Restricted Kind of Relation, Function Application, Sequences, Sequence Filtering, Theory of Equality, Set Difference, Domain Restriction Operator 

CSC-XXXX: Advanced Research Methods

Overview of the course and a brief history; Introduction and overview of the subject. The nature of Computer Science (CS) research; what is research? Literature searches, information gathering, Reading and understanding research papers, Technical writing, referencing, bibliographies, Presentation skills, written and oral. Choosing or proposing a project. Project planning, tools, and techniques for planning. Project conduct, time management, risk management, teamwork. Commercial and economic considerations in IT research and the IT industry. Review legal, ethical, social, and professional (LSEP) issues, including data protection and standards.

CSC-700X: Modeling of Web Information Systems

Web modeling concepts; Modeling the Web applications for requirements engineering; Content modeling; Navigation modeling (Hypertext, Access structure); Modeling the presentation for the end-user; Model-driven development and model-driven architecture; Evolution of the Web, Web 1.0 (visual Web), Web 2.0 (Social Web), and Semantic Web (the Web of metadata); Hypertext patterns; Persistence of HT patterns; O&M of Web applications.

CSC-700X: Data Warehousing

Overview of the course and a brief history; Data Warehouse Architecture; Extract Transform Load; Data Cleansing Algorithms; Hot and Cold Data; Data Warehouse support for OLAP and Data Mining; Active Data warehousing; Semantic Data warehousing; Oracle solution Teradata solution; Case Studies.

CSC-700X: Peer-To-Peer Systems

Overview of P2P Systems and brief history; Taxonomy of P2P Networks/Systems and Analysis of popular P2P Systems; Analysis of unstructured P2P Systems; Analysis of structured P2P Systems; Search Efficiency; P2P-based content delivery; Security and Reliability; Replication in peer-to-peer systems; Anonymity in peer-to-peer systems; Social, Legal and Privacy aspects of P2P Systems.

CSC-700X: Multimedia Retrieval Techniques

Multimedia content and motivations for multimedia retrieval; Issues of multimedia Retrieval. Multimedia retrieval models; Content-based image retrieval; Content-based video retrieval; Content-based audio retrieval: audio representations, audio feature extraction; Query modalities and similarity measures; Analysis of existing multimedia retrieval systems, retrieval evaluation criteria, relevance feedback; current trends in Multimedia Retrieval.

CSC-700X: Metadata for Information Resources

Overview of the course and Metadata; History of schemes and metadata communities;  Functions and Types of metadata; Metadata Structure and Characteristics: Semantics,  syntax,  and structure; Metadata creation process models; Interoperability; Metadata Integration and Architecture: Warwick Framework; Resource Description Framework; Open Archives Initiative; Encoding Standards (Markup Languages): Introduction and history of markup; Metadata use of markup languages; Document Type Definitions (DTD); Structural metadata Data Control Standards: Resource Identifiers; Data Registries; Controlled vocabularies; Name authority  control (ISAAR and FRANAR); A-Core; Encoded Archival Description (EAD), Text Encoding Initiative (TEI); Metadata Evaluation: User needs; Quality control issues; Evaluation methods; Educational Metadata: Instructional Management Systems (IMS); Learning Object Metadata (LOM); Gateway to Educational Materials (GEM); Government Information Locator Service (GILS); Visual Resources Metadata: Categories for the Description of Works of Art (CDWA); Visual Resources Association (VRA) Core; Computer Interchange of Museum Information (CIMI).

CSC-700X: Information Privacy and Access Control

Privacy, Privacy policies; Privacy enforcement; Adaptive privacy management; Access control mechanisms; Different access control models such as Mandatory, Discretionary, Role-Based and Activity-Based; Access control matrix model; Harrison-Russo-Ullman model and undecidability of security; Confidentiality models such as Bell-LaPadula; Integrity models such as Biba and Clark-Wilson; Conflict of interest models such as the Chinese Wall.

CSC-700X: Ubiquitous Information Interaction

Information Interaction; Seminal ideas of ubiquitous computing; Tangibility and Embodiment; Social computing; Privacy; Critical and cultural perspectives; Mobility and Spatiality; Mobile Technology in the Messy Now; Infrastructure; Seams, seamlessness, seamfulness; Evaluating Interaction of Ubicomp systems.

CSC-700X: Human Information Interaction

Overview of the course and a brief history; Types and structures of information resources; Types and structures of vocabularies; Information retrieval & Interaction in information retrieval Search engines, Digital libraries; Search techniques and effectiveness; Advanced searching Web search and the invisible web; Information seeking behavior; User modeling; Mediation between search intermediaries and users; Evaluation of search sources and results; Result Presentation to users; Keeping up: sources for life-time learning.

CSC-700X: Information Architecture

Introduction and Overview of the course. Process of Web development; Information behavior & the Web. Content design and organization systems; Copyright issues labeling systems; Writing for the Web. Navigation design; Search systems. Page design; Multimedia. Web usability evaluation & testing. Accessibility for users with disabilities. Global audiences; Web standards & policies. Weblogs, Intranets, Websites for mobile devices; Web design software; Web Content Management Systems. Metadata; Search engines.

CSC-70XX: Collaborative Data Mining

Overview of the course and a brief history; Overview of   Distributed Database systems; Importance and usage of collaboration; Web Data Resources; A brief introduction to overlay networks; Remote Collaboration; Collaborative Data Mining Guidelines; Parallel Data Mining; Grid-based Data Mining; Collaborative mining over social networks; Collaborative mining in P2P Networks; Collaborative data mining case studies.

CSC-70XX: Communication Networks

Overview of the course & research activities in computer networks; Communication Networks & Services; Overview of network simulations; Layered architecture; Congestion Control and Traffic Management; Wireless, Mobility, and Cross-layer concepts; Switching & Routing; Quality of Service (QoS); Multicast; Peer-to-Peer (P2P) and Overlay Networks; Content Distribution in P2P Networks; Multimedia Information & Networking; Network Measurement.

CSC-70XX: Advances in Next-Generation Networks

Next Generation Internet/Networks: Convergence to IP; Network Technologies and Architectures; Quality of Service; Multimedia protocols; Policy routing; Future Internet; Network traffic optimization; Next Generation Internet and broadband deployment; Advances in wireless mobile networks; Advances in sensor networks; Management of Next Generation Networks.

CSC-70XX: P2P-based Information retrieval

Overview of the Information Retrieval Systems; Multimedia & its characteristics; P2P Systems & its characteristics; Content searching/locating in P2P systems; Emerging coding standards for information; Architecture of P2P-based information retrieval; Privacy & security issues in P2P-based information retrieval; Current research trends in P2P-based information retrieval.

CSC-70XX: Advanced Software Architecture

Re-use in architectures: Software product lines, evaluation, and validation of product lines,  product line testing, re-use in product lines; Service-oriented architectures (SOAs): SOA concepts, risks and challenges, quality attributes and SOAs, evaluating and testing SOAs; Architectural evaluation:  Methods for architectural analysis, Comparison of methods; Architectural evolution and reconstruction: Models of software evolution, analysis, and metrics for evolution, Techniques, and tools for architecture reconstruction; Architectures in dynamic environments: Modeling and analyzing dynamic software architectures; Self-healing architectures: The need for self-healing, approaches for self-healing.

CSC-70XX: Artificial Intelligence

This course considers ideas and techniques from Artificial Intelligence. It first introduces a range of search algorithms that are used throughout AI. It then examines applications and techniques of AI, including rule-based systems for embodying human expertise, algorithms for planning and problem solving, natural language processing, methods for machine learning, and neural nets, and other computation intelligence techniques.

CSC-70XX: Advanced Topics in Machine Learning

Introduction Overview of machine learning, Machine learning applications, and examples, Reinforcement learning, Elements of reinforcement learning, Model-based learning, Temporal difference learning, Generalization, Genetic Algorithms, Genetic operators, fitness function, Hypothesis space search, Genetic programming, Support Vector Machines, Optimal separating hyperplane, soft margin hyperplane, kernel functions, SVMs for regression, Combining learners, Voting, Bagging, Boosting, Assessing and Comparing Classification Algorithms, Cross-validation, and resampling, Measuring error, Assessing performance, Comparing multiple classification algorithms.

CSC-70XX: Evolutionary Computation

Evolutionary Computation can be considered as a sub-field of Artificial Intelligence. Evolutionary algorithms are inspired by the principles of natural selection and genetics. This course explores how principles from theories of evolution and natural selection can be used to construct machines that exhibit nontrivial behavior. In particular, the course covers techniques from genetic algorithms, genetic programming, and learning classifier systems for developing software agents capable of solving problems as individuals and as members of a larger community of agents.

CSC-70XX: Research Seminar

This course offers a substantial introduction relevant to doctoral work in student’s research areas. The course provides directed and supervised the investigation of selected topics. Each week Research papers related to the topic will be discussed and presented in a seminar format. This course progresses as a series of seminars, each presenting a different paper(s). It prepares students to review studies of other researchers in the field and allows them to become more knowledgeable about methods appropriate to their dissertation research.

1. MS /M.Phil Computer Science /IT/Software Engineering or equivalent degree with minimum 3.00/4.00 or 3.50/5.00 CGPA in semester system/60% marks in annual system.
2. Applicants having terminal degrees as prescribed in condition no. 01, are required to qualify NTU-GAT (General) test with minimum 60% score while applicants having different terminal degree are required to qualify NTU-GAT (Subject) test additionally with minimum 50% score as per HEC.
3. Applicant having MS or equivalent degree without thesis is not eligible to apply.
4. It is mandatory to pass interview in order to compete on merit.
5. Applicant must not be already registered as a student in any other academic program in Pakistan or abroad.
6. Result waiting applicants may apply for admission, however their merit will be finalized only on submission of final MS/M.Phil or equivalent official transcript or degree.
7. Relevant Admission Committee will determine relevancy of terminal degree and decide deficiency course/s (if any) at the time of admission interview, the detail of which will be provided to the student in his/her admission letter/email.
8. Deficiency course/s will be treated as non-credit and qualifying course/s for which student will also pay extra dues as per fee policy. Those course/s will neither be mentioned in student’s final transcript nor will be included for calculation of CGPA. However, the student may obtain his/her a separate transcript for completion of deficiency course/s.

Merit Criteria

The admission merit list will be prepared according to the following criteria:

Note:

1. Tuition Fee will increase @ 2.5% Per Annum in Subsequent Years.
2. The security deposit is against breakage and/or any other damage caused by the students.
3. The security deposit is refundable within two year after the completion of degree or leaving the University without completion or expulsion from the University. After Two years all the unclaimed securities will be forfeited.
4. If any student fails to submit semester dues till sixth week from the commencement of semester then the student's admission will be cancelled. Student may sit in mid exam after the payment of re-admission fee of Rs.15,000/- long with semester dues

HEC National Fee Refund Policy

Application for a refund of Fee can be made by completing the appropriate form and submitting the proof of payment.

REFUNDABLE FEE:

Tuition Fee:

The Refund of Tuition Fee is Subject to the following schedule:

Note: The timelines for refund of tuition fee are inclusive of the weekends.

Library Fee:

The library/digital library fee is completely refundable.

Transport Fee:

The transport fee is 100% refundable minus (-) the days a student has availed of that facility(es).

Security/Deposit Fee:

This fee is refundable after deductions are made for the damage/loss (if any) caused by the student.

Examination Fee:

The fee submitted as an examination fee is completely refundable.

Fee for Curricular/Co-Curricular Activities:

The Curricular/co-curricular, extra-curricular, fee is 100% refundable minus (-) the days a student has availed of that activity(es).

NON-REFUNDABLE FEE:

Admission Fee and Registration/Application Fee are non-refundable.

Certificate Verification Fee, Card Fee, Red Crescent Fund, Medical Examination Fee, Exhibition Fee and Endowment Fund are also non-refundable.