Sajjad Ahmed Siddiqi's Home Page

Phone:                 +92 51 9085 2158
Postal Address:  School of Electrical Engineering and Computer Science (SEECS)
                              National University of Science and Technology (NUST)
                              Sector H-12 Islamabad Pakistan
E-mail:                 firstname.secondname AT seecs.edu.pk

Current Position:

Visiting Researcher at NICTA Australia under the Managing Complexity research theme.

Assistant Professor at SEECS NUST.

Research Interests:

Research interests include diagnosis, probabilistic reasoning, knowlege compilation, structure exploitation, satisfiability, constraint satisfaction.

Publications:

• New Advances in Sequential Diagnosis. Sajjad Siddiqi and Jinbo Huang. Proceedings of the Twelft International Conference on the Principles of Knowledge Representation and Reasoning (KR-10), pages 17-25, May 9-13, Toronto, Canada.

• Variable and Value Ordering for MPE Search. Sajjad Siddiqi and Jinbo Huang. Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI-09), pages 1964-1969, July 11-17, Pasadena, California, USA.

• Probabilistic Sequential Diagnosis by Compilation. Sajjad Siddiqi and Jinbo Huang. Proceedings of the Tenth International Symposium on Artificial Intelligence and Mathematics (ISAIM-08) , January 2-4, Fort Lauderdale, Florida, USA.

• Hierarchical Diagnosis of Multiple Faults. Sajjad Siddiqi and Jinbo Huang. Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI-07), pages 581-586, January 6-12, Hyderabad, India.[Software]

Work History:

1. Visiting Researcher at InterfereX project of NICTA (April 2009 - December 2009).
2. Visiting Lecturer at Department of Computer Science, Quaid-i-Azam University (Feb 2004 - Jul 2004).
3. Software Engineer at Elixir Technologies (Feb 2002 - Mar 2004).

Teaching:

1. Object Oriented Programming using C++, Semester 1, 2010, SEECS NUST, PAK.
2. Selected Topics in Programming Languages, Semester 1, 2004, CS QAU, PAK.

Qualifications:

• Ph.D. in Computer Science, Australian National University, Canberra, Australia, 2009. Was a NICTA endorsed Ph.D student at Computer Science Laboratory (CSL) Research School of Information Sciences and Engineering, while being part of the Logic and Computation program of NICTA/CSL.
• M.Sc. in Computer Science, Department of Computer Science, Quaid-i-Azam University, Islamabad, Pakistan, 2002.