E-mail: sajjad.siddiqi [AT] teradata.com

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

Current Position:

Manager Data Science at Teradata Global Delivery Center Islamabad Pakistan.

Interests:

Data science, machine learning, diagnosis, probabilistic reasoning, knowledge compilation, structure exploitation, satisfiability, constraint satisfaction, optimization, micro-grids.

Career History:

• Manager Data Science at Teradata Global Services Innovation Hub (Jun 2023 - current)

• Senior Data Scientist at Teradata Global Services Innovation Hub (Mar 2022 - Jun 2023)

• Assistant Professor at Faculty of Computing, Riphah International University, Islamabad, Pakistan (June 2018 - Feb 2022).

• Assistant Professor at JUC (June 2012 - May 2018).

• Visiting Researcher at Swinburne University of Technology with Dr. Ryszard Kowalczyk (June 2014 - Aug 2014).

• Visiting Researcher at NICTA Australia (August 2011 - May 2012).

• Assistant Professor at SEECS NUST (December 2009 - July 2011).

• Visiting Researcher at NICTA Australia (July 2010 - September 2010).

• Visiting Researcher at InterfereX project of NICTA Australia (April 2009 - December 2009).

• Part-time tutor at The Australian National University (2007 - 2008)

• Visiting Lecturer at Department of Computer Science, Quaid-i-Azam University (Feb 2004 - Jul 2004).

• Software Engineer at Elixir Technologies (Feb 2002 - Mar 2004).

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.

• Postgraduate Diploma in Teaching Methodology and Professional Ethics, Riphah International University, Islamabad, Pakistan, 2019.

Skills:

• C/C++/Java/Object-oriented Programming, Python, Octave Quadratic Programming, Eclipse (Constraint Solver), Logic Programming, Mathematical Optimization, MS Azzure, SQL, Teradata Vantage ModelOps.

Industries:

• Telecom, Health-care, Energy, Print, Education, Retail, Vision.

Certifications:

• Teradata Vantage Associate 2.3 (April 2022)

• Certificate (3 months) in Outcome-based Education, Riphah International University, 2021.

Publications:

• A Novel Structure-exploiting Encoding for SAT-based Diagnosis. Sajjad Ahmed Siddiqi.  Journal of Experimental and Theoretical Artificial Intelligence (JETAI) (Accepted August 2022),  The version. of record of this manuscript has been published an available in Journal of Experimental and Theoretical Artificial Intelligence (August 2022): doi:10.1080/0952813X.2022.2115145.

• An Extensibe Circuit-based SAT Solver. Sajjad Siddiqi.  Journal of Experimental and Theoretical Artificial Intelligence (JETAI), Volume 32, Issue 5, 2020 (published online October 2019), pages 751-768. The version. of record of this manuscript has been published an available in Journal of Experimental and Theoretical Artificial Intelligence (October 2019) doi:10.1080/0952813X.2019.1672798.

• Demand Response in Presence of Multiple Suppliers. Sajjad Siddiqi, Ryszard Kowalczyk, and Quoc Bao Vo. Proceedings of the 2017 IEEE Power and Energy Society General Meeting (IEEE PES GM), July 16 - 20, 2017, Chicago, IL, USA, doi.org/10.1109/PESGM.2017.8274678.

• multi-SAT: An Adaptive SAT Solver. Sajjad Siddiqi and Jinbo Huang. In SAT Race 2015. 

• 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]

Ph.D. Thesis:

• Structure Exploitation in Diagnosis. Sajjad Siddiqi. The Australian National University, 2009. doi:10.25911/5d5151eb3bebd

Teaching: 

Postgraduate:

• Statistical and Mathematical Methods for Data Science

  • Sem-1,2, 2021; Sem-1,2, 2020; Sem-1,2 2019 at RISE, FC, Riphah, PK

• Research Issues in Artificial Intelligence

  • Sem 1 2019 at FC, Riphah, PK

• Software Design and Architecture

  • Sem-2 2018 at FC, Riphah, PK

• Ethics in Practice - II

  • Sem-1,2 2021 at RISE, FC, Riphah, PK

Undergraduate:

• Operations Research

  • Sem-1,2, 2021; Sem-2, 2020 at FC, Riphah, PK

• Professional Ethics in Computing

  • Sem-1,2, 2021; Sem-1,2 2020 at FC, Riphah, PK

• Professional Ethics - General

  • Sem-1 2020 at FC, Riphah, PK

• Software Design and Architecture

  • Sem-1,2 2019; Sem-2 2018 at FC, Riphah, PK

• Network Essentials / Introduction to ICT

  • Sem-2 2018 at FC, Riphah, PK

• Computer Programming (structured programming using C++)

  • Sem-2 2017 at CSE, JUC, KSA

• Software Engineering

  • Sem-2 2017 at CSE, JUC, KSA

• Introduction to Artificial Intelligence

  • Sem-1 2018; Sem-1 2017 at CSE, JUC, KSA

• Object Oriented Programming using Java

  • Sem-2 2016; Sem-1 2016 at CSE, JUC, KSA

• Introduction to Computing (Java) / Programming I

  • Sem-1 2018; Sem-1 2015; Sem-2 2014 at CSE, JUC, KSA 

• Discrete Structures II

  • Sem-1 2017, Sem-1 2013 at CSE, JUC, KSA

• Operating Systems

  • Sem-1 2018; Sem-2 2017; Sem-1 2017; Sem-2 2016; Sem-1 2016; Sem-2 2015; Sem-1 2015; Sem-1 2014; Sem-2 2013; Sem-1 2013; Sem-2 2012 at CSE, JUC, KSA

• Social and Ethical Issues of Computing

  • Sem-2 2012 at CSE, JUC, KSA.

• Data Structures and Algorithms

  • Sem-2 2010 at SEECS NUST, PAK.

• Object Oriented Programming using C++

  • Sem-1 2011; Sem-1 2010 at SEECS NUST, PAK

• Selected Topics in Programming Languages

  • Sem-1, 2004 at CS QAU, PAK.

Social:

• http://www.linkedin.com/in/ssiddiqi