Sajjad Ahmed Siddiqi's Home Page

Phone: +61 2 6267 6350
Level 1, Tower A
7 London Circuit
Canberra ACT 2601

E-mail:
firstname.lastname AT nicta.com.au

Current Position:

Visiting Researcher at NICTA Australia.

My academic genealogy -- created through Mathematics Genealogy Project and David Albert's Genographer.

Research Interests:

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

Publications:

• Sequential Diagnosis by Abstraction. Sajjad Siddiqi and Jinbo Huang. Journal of Artificial Intelligence Research (JAIR), Volume 41, 2011, pages 329-365, doi:10.1613/jair.3296.

• Computing Minimum-cardinality Diagnoses by Model Relaxation. Sajjad Siddiqi. Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI-11), pages 1087-1092, July 16-22, Barcelona, Catalonia, Spain. [View Talk]

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

• 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.[View Talk]

• 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.[View Talk]

Career History:

1. Visiting Researcher at NICTA Australia (August 2011 - onwards).
2. Assistant Professor at SEECS NUST (December 2009 - July 2011).
3. Visiting Researcher at NICTA Australia (July 2010 - September 2010).
4. Visiting Researcher at InterfereX project of NICTA Australia (April 2009 - December 2009).
5. Part-time tutor at The Australian National University (2007 - 2008)
6. Visiting Lecturer at Department of Computer Science, Quaid-i-Azam University (Feb 2004 - Jul 2004).
7. Software Engineer at Elixir Technologies (Feb 2002 - Mar 2004).

Teaching:

1. Data Structures and Algorithms
   1. Semester 2, 2010, SEECS NUST, PAK.
2. Object Oriented Programming using C++
   1. Semester 1, 2011, SEECS NUST, PAK.
   2. Semester 1, 2010, SEECS NUST, PAK.
3. Selected Topics in Programming Languages
   1. 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.