Can someone evaluate Reed's new "math/CS" program for me?

My math professor tells me that the analysis course is only an introduction to real analysis to help students learn how to write proofs (a separate real analysis course exists). That is why the mv calc course is a year long: you have to prove everything.

There are, yes. At least one 400 class exists every year that deals with the advanced coursework. Next year, for instance, they have cryptography. I guess there is only so much that 2 professors can offer.