Skip to Main Content

Program Analysis: Home

This course is an overview of program analysis including static analysis which involves reasoning about program source, dynamic analysis which involves reasoning about program execution traces, and formal methods which involve mathematical foundations of

Introduction

Welcome to the Computer Sciences  Subject Guide. This guide will help you research topics related to Computer Sciences. Start with the tabs above to find books, articles, websites, and other relevant resources. If you have any questions or need help researching a topic, drop me a line, and I'll try to help you out.​

Library Services

Gad and Birgit Rausing Library is a multi-disciplinary library serving the faculty, students, researchers, and staff of the university. It is providing qualityinnovative services to its' patrons. 

Plagiarism Detection Service

Library facilitates LUMS faculty's access to online plagiarism detection and management software i-e Turnitin. Library also provides similarity report and certificate according to HEC rules for final thesis and projects.For similarity Index reports and certificates contact:

waris.arslan@lums.edu.pk(8.30 a.m. to 5.00 p.m.)

muhammad_zeeshan@lums.edu.pk(8.30 a.m. to 5.00 p.m.)

imran.siddique@lums.edu.pk(11.30 a.m. to 8.00 p.m.)

News and Announcements

HISTORY OF DEPARTMENT OF COMPUTER SCIENCE

The Department of Computer Science at LUMS was founded in 1994, as an undergraduate programme with just two faculty members. Today, the Computer Science and Electrical Engineering programmes combined have nineteen faculty members, with doctorates from some of the best universities in the world. They conduct research in fundamental and applied areas of computer science and computer engineering, including computer architecture, computer vision, data mining, multimedia systems, network and wireless communications, software engineering and theory of computation. In 2008 the department became part of the Syed Babar Ali School of Science and Engineering (SBASSE).

 

CS ANNUAL REPORT 2016

On behalf of Faculty of the Department of Computer Science, I am pleased to present the Annual Report 2016 of the Department. The year 2016 was an exciting year for us. During the year we welcomed the largest number of students in our BS, MS and Ph.D. Programmes. Also, the graduating Class of 2016 had close to 100% employment rate in industry and placements at top universities around the world.

 

Dr. Naveed Arshad

Associate Professor and Chair

Department of Computer Science

Syed Babar Ali School of Science and Engineering

To read complete CS Annual Report 2016 click here

 

Fresh Arrivals

New books added in library collection for patrons.

Librarian

Profile Photo
Imran Siddique
Contact:
D.H.A, Lahore Cantt. 54792
Lahore, Pakistan
04235608259
Website

Off Campus Access

LUMS Library provides virtual access to its resources, i.e. databases, eBooks and journals etc. Click Below to Get Off-Campus Access