Siddiqi is a British computer scientist, fellow of the British Computer Society, a member of the IEEE, and a member of the ACM. He is a co-editor of Formal Methods: State of the Art and New Directions.
Siddiqi is a British computer scientist with affiliations to the British Computer Society, IEEE, and ACM. He contributes to the field by editing "Formal Methods: State of the Art and New Directions."