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.
Research Interests:
Research interests include diagnosis, probabilistic reasoning, knowlege compilation, structure exploitation, satisfiability, constraint satisfaction.
Publications:
Work History:
- Visiting Researcher at InterfereX project of NICTA (April 2009 - December 2009).
- Visiting Lecturer at Department of Computer Science, Quaid-i-Azam University (Feb 2004 - Jul 2004).
- Software Engineer at Elixir Technologies (Feb 2002 - Mar 2004).
Teaching:
- Object Oriented Programming using C++, Semester 1, 2010, SEECS NUST, PAK.
- 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.