MS (Computer Science)
About the Program
The program offers advanced topics including computation theory, algorithms, software engineering, database systems, computer networks, artificial intelligence, computer vision and formal methods as they are in great demand by high tech companies, firms and educational institutes in need of realigning their programs and operations to meet the challenges of new developments in IT. The university provides a responsive atmosphere for students aiming to excel in research extending them all sort of academic and financial assistance required to get their research work recognized.
Specializations: Software Engineering, Formal Methods, Databases, Computer Vision
Requirments
Eligibility: BS or equivalent with minimum CGPA 2.0/4.0 (60 % marks). The students awaiting result may also apply for admission on provisional basis.
Students must qualify NTS GAT-General to be eligible for admission.
Minimum Duration: 2 years
Minimum Credit Hours: 30
Degree Completion Requirement: minimum CGPA of 2.5
Structure of the Program
| Core Courses (12 Credit Hours) |
| # |
Course Code |
Title |
Credit Hours |
Year |
| 1 |
CSAC5613 |
Advanced Algorithms Analysis |
3 |
1 |
| 2 |
CSSC5333 |
Advanced Theory of Computation |
3 |
1 |
| 3 |
CSNS5523 |
Advanced Computer Architecture |
3 |
1 |
| 4 |
CSNS5513 |
Advanced Operating Systems |
3 |
1 |
| Elective Courses (18 Credit Hours) or (12 Credit Hours + Dissertation) |
# |
Course Code |
Title |
Credit Hours |
Year |
1 |
CSSE5013 |
Advanced Software Engineering |
3 |
1 |
2 |
CSSE5023 |
Software Quality Assurance |
3 |
1 |
3 |
CSSE5033 |
Requirements Engineering |
3 |
1 |
4 |
CSSE5043 |
Formal Methods |
3 |
1 |
5 |
CSSE5053 |
Formal Specification and Design Techniques |
3 |
1 |
6 |
CSIP5123 |
Digital Image Processing |
3 |
1 |
7 |
CSIP5113 |
Digital Signal Processing |
3 |
1 |
8 |
CSCI5213 |
Fuzzy Intelligence |
3 |
1 |
9 |
CSCI5223 |
Machine Learning |
3 |
1 |
10 |
CSSC5313 |
Parallel Computing |
3 |
1 |
11 |
CSSC5323 |
Distributed Systems |
3 |
1 |
12 |
CSSC5343 |
Theory of Programming Languages |
3 |
1 |
13 |
CSDS5413 |
Advanced Database Systems |
3 |
1 |
14 |
CSDS5423 |
Data Mining |
3 |
1 |
15 |
CSDS5433 |
Data Warehousing |
3 |
1 |
16 |
CSDS5443 |
Information Retrieval Techniques |
3 |
1 |
17 |
CSNS5533 |
Mobile Communication Systems |
3 |
1 |
18 |
CSNS5543 |
Network Security |
3 |
1 |
19 |
CSNS5553 |
Telecommunication Systems |
3 |
1 |
20 |
CSAC5623 |
Algorithmic Graph Theory |
3 |
1 |
21 |
CSSE6063 |
Software Project Management |
3 |
2 |
22 |
CSIP6133 |
Computer Vision |
3 |
2 |
23 |
CSIP6143 |
Robotics |
3 |
2 |
24 |
CSCI6243 |
Pattern Recognition |
3 |
2 |
25 |
CSSC6353 |
Fuzzy Automata and Languages |
3 |
2 |
26 |
CSSC6363 |
Advanced Compiler Techniques |
3 |
2 |
27 |
CSDS6453 |
Advanced Data Mining |
3 |
2 |
28 |
CSDS6463 |
Multimedia Database Systems |
3 |
2 |
29 |
CSNS6563 |
Advanced Computer Networks |
3 |
2 |
30 |
CSAC6633 |
Systems Modeling and Simulation |
3 |
2 |
31 |
CSAC6643 |
Dynamic Modeling and Algorithms |
3 |
2 |
32 |
CSRW6716 |
Dissertation |
6 |
2 |
33 |
CSSC6373 |
Operations Research-I |
3 |
2 |
34 |
CSCI6233 |
Natural Language Processing |
3 |
2 |
35 |
CSAC6653 |
Stochastic Processes |
3 |
2 |
36 |
CSAC6663 |
Genetic Algorithms |
3 |
2 |
37 |
CSSC7383 |
Operations Research-II |
3 |
3 |
38 |
CSCI7253 |
Distributed Knowledge Engineering |
3 |
3 |
39 |
CSSE7073 |
Advanced Topics in Formal Methods |
3 |
3 |
40 |
CSNS7573 |
Real Time Systems |
3 |
3 |
41 |
CSNS7583 |
Wireless Networks |
3 |
3 |
42 |
CSAC7673 |
Complexity Theory |
3 |
3 |
|