Sajjad Siddiqi's Home Page

Phone:                +61 2 6267 6289
Fax:                    +61 2 6267 6210
Postal Address:  National ICT Australia
                            Level 1, 7 London Circuit
                            Canberra  ACT  0200  Australia
E-mail:                 firstname.lastname AT rsise.anu.edu.au

Current Position:

I am associated with the InterfereX project of NICTA as a Visiting Researcher.

I am a NICTA endorsed Ph.D student at Research School of Information Sciences and Engineering, The Australian National University, Canberra Australia. I am doing my Ph.D. while being part of the Logic and Computation program of NICTA.

I have submitted my thesis on 27th of January 09.

Research Interests:

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

Publications:

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

• Probabilistic Sequential Diagnosis by Compilation. Sajjad Siddiqi and Jinbo Huang. Proceedings of the 10th 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. I have been associated with Department of Computer Science, Quaid-i-Azam University Islamabad Pakistan as a Visiting Lecturer (Feb 2004 - Jul 2004).
2. I have been associated with Elixir Technologies Pakistan (www.elixir.com), as Software Engineer (Feb 2002 - Mar 2004). I have been involved in the development of 'Design Pro Tools for AFP' (an Elixir's product,  http://www.printers.ibm.com/internet/wwsites.nsf/vwwebpublished/dpthome_m_ww).

Teaching:

1. Selected Topics in Programming Languages, Semester 1, 2004, CS QAU, PAK.

Tutoring:

1. Artificial Intelligence (COMP3620), Semester 1, 2007, FEIT ANU, AU.
2. Artificial Intelligence (COMP3620), Semester 1, 2006, FEIT ANU, AU.

Qualifications:

I obtained my M.Sc. in Computer Sciences from Department of Computer Science, Quaid-i-Azam University Islamabad Pakistan in Feb 2002.

Softwares:

Disclaimer: All pieces of software are for non-commercial use. They come with absolute no warranties. They may have bugs and the authors do not accept responsibility for any damage caused by them. Any reports about the bugs or suggestions about changes will be welcome.

Circuit Benchmarks In Edimacs - Various benchmark circuits in Edimacs format using Iscas2Edimacs.

Iscas2Edimacs - A converter to convert Iscas format files to Edimacs format.

Edimacs2Iscas - A converter to convert Edimacs format files to Iscas format.

HDiag - A Hierarchical Diagnosis Tool for digital circuits.