E-mail: sajjad.siddiqi [AT] teradata.com
My academic genealogy -- created through Mathematics Genealogy Project and David Albert's Genographer.
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.