Skip to Main Content

Program Analysis: Research Groups---LUMS

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

Reasearch Groups @ LUMS

Library Timings

  • Monday to Friday
  • 8:30 am - 2:00 am
  • Saturday
  • 10:00 am - 10:00 pm
  • Sunday
  • 10:00 am -10:00 pm

Important

  • Library remain opened around-the-clock during exams (mid-terms & finals)
  • Library Help Desk at both floors provides services from 8:30 am to 8:00 pm
  • Library remain closed (not more than two days) on public holidays.
  • Note: Library opening hours may be subject to change. Contact library for exact hours.

Contact Us

D.H.A, Lahore Cantt. 54792
Lahore, Pakistan
Phone: +92 42 3560 8167

Stay Connected

2023 © Lahore University of Management Sciences. All Rights Reserved.