Skip to Main Content

Program Analysis: Associations

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

CS Associations and Organizations

ACM brings together computing educators, researchers, and professionals to inspire dialogue, share resources, and address the field's challenges.

The IEEE Computer Society is the world's leading membership organization dedicated to computer science and technology. Serving more than 60,000 members, the IEEE Computer Society is the trusted information, networking, and career-development source for a global community of technology leaders that includes researchers, educators, software engineers, IT professionals, employers, and students.

Applied mathematics, in partnership with computational science, is essential in solving many real-world problems. Our mission is to build cooperation between mathematics and the worlds of science and technology through our publications, research, and community.

The IEEE Computer Society is the computing professional's single, unmatched source for technology information, inspiration and collaboration. By making the most up-to-date and advanced information in the computing world easily accessible.

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.

AITP seeks to advance the IT Profession through professional development, support of IT education, and national policies on IT that improve society as a whole.