Sajjad Ahmed Siddiqi's Home Page

Phone: +966 3 3429000 ext. 1227
Address: Department of Computer Science and Engineering
Jubail University College
Jubail Industrial City
Kingdom of Saudi Arabia

E-mail: siddiqis [AT] ucj.edu.sa OR firstname.lastname [AT] rsise.anu.edu.au

Current Position:

Assistant Professor at Department of Computer Science and Engineering, Jubail University College.

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

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

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

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

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

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

Career History:

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

Teaching:

• Discrete Structures II
1. Semester 1, 2013, CSE, JUC, KSA*
• Operating Systems
1. Semester 1, 2013, CSE, JUC, KSA*
2. Semester 2, 2012, CSE, JUC, KSA
• Introduction to Computer Applications
1. Semester 1, 2013, CSE, JUC, KSA*
• Social and Ethical Issues of Computing
1. Semester 2, 2012, CSE, JUC, KSA.
• Introduction to Information Technology
1. Semester 2, 2012, CSE, JUC, KSA.
• Data Structures and Algorithms
1. Semester 2, 2010, SEECS NUST, PAK.
• Object Oriented Programming using C++
1. Semester 1, 2011, SEECS NUST, PAK.
2. Semester 1, 2010, SEECS NUST, PAK.
• 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.