Yes, nudibranch do in fact eat algae.
Not sure on the ceph reaction to them though yet.
The main concern, for your corals atleast, is what does the nudibranch eat once the algae has been controlled.
What type of red algae is it and can elbow gease do the trick?