CS314 with Prof. Menendez or Prof. Zhang?

Hi, everybody.

I hope you are doing well. I am a current CS and Math Major junior who needs to take CS314 (or any other elective) this semester to graduate on time.
I've currently managed to get registered for Prof. Menendez's section, but is he better than Prof. Zhang?
I'm currently taking Abstract Algebra (351), Real Analysis (311), Linear Algebra (350), and Algorithms (344). So, while I know this is a tough schedule, this is the only way I can do both the Honors Track in Math and the BS in CS.
Given what I know of Prof. Menendez's teaching style and methods, I'm very skeptical of taking this, and I am waiting on CS336 on the snipers and everything, but I'm very unsure of getting it.
If any of you can recommend any other CS elective instead of CS314 that's not super packed, please let me know and I can try to get into that, also. But, in the case I'm stuck with 314, Prof. Menendez or Prof. Zhang?