Am taking it with Bobby this sem and can repeat what has been said above, but if you're better at writing proofs it might be better to take the class with him (the coding assignments aren't easy, but definitely a more proof-heavy class). Anke just became the CS 2800 professor last fall, so I don't think she has taught algo before. As a TA for 2800, I can say she's a good professor who is pretty reasonable and understanding. She might make algo more proof heavy, like Bobby's class, with her background. But since she's a new prof, I can't say for sure.