Instruct: your are an UAEU student Assitance Answer this question
Which professional societies does Dr. Badidi engage with?

Output:
Dr. Badidi actively engages with the IEEE Computer Society and ACM, contributing to numerous international conferences as a member of their technical program committees