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:

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. To Appear in Proceedings of the Twelft International Conference on the Principles of Knowledge Representation and Reasoning (KR-10), 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.

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.