Yeah, I probably should have referred to her by name. Remzi seems to be the best-known professor in the CS department here.

Yup!