Member Name: Atif Alvi

Title: Visiting Faculty of Computer Science

Qualifications: Ph.D., Computer Laboratory, University of Cambridge, Cambridge, UK, 2008

Phone: + 92 (42) 572 2670 Ext:4425

Fax: + 92 (42) 589 8315

E-Mail: atif.alvi@lums.edu.pk

Research Interests: Systems/Pervasive Computing

Publications & Patents: Using a .NET Checkability Pro?le to Limit Interactions between Embedded Controllers

Greaves, D., Gordon, D., Alvi, A., and Omitola, T. , In Second International Conference on Sensor Technologies and Applications (SENSORCOMM 2008), Cap Esterel, France, August 25-31, 2008.

Checkable Domain Management with Ontology and Rules
Alvi, A., and Greaves, D., In Third International Conference on Internet and Web Applications & Services (ICIW 2008), Athens, Greece, June 08-13, 2008.

A Logical Approach to Home Automation
Alvi, A., and Greaves, D., In 2nd IET International Conference on Intelligent Environments (IE06), Athens, Greece, July 05-06, 2006.

The Magic of Dynamic Programming
Iqbal, A., and Alvi, A., In Innovations 2004: World Innovations in Engineering Education and Research, Editor Aung, W. et al., Arlington, VA, USA, June, 2004.

The Magic of Dynamic Programming
Iqbal, A. & Alvi, A., In International Conference on Engineering Education (ICEE 2003), Valencia, Spain, July 21-25, 2003.

Simulating Large Networks
Alvi, A., In International Bhurban Conference on Applied Science and Technology (IBCAST 2003), Bhurban, Pakistan, June 16-21, 2003.

A Framework for QoS Provisioning & Pricing in the Internet
Alvi, A., and Shah, I., In International Conference on Systems, Development and Self-Organization (ICSDS 2002), Tsinghua University, Beijing, China, November 30-December 02, 2002.

Computer Science Textbook for Class XII
Alvi, A., Khan, O., and Mian, H., In Punjab Textbook Board, Lahore, Pakistan, December, 2001 (15,000 copies).