The term angel investor originally comes from Broadway, where it was used when describing the people that provided financing for theatrical productions.
The little money now being invested in professorial startups comes from state and university grants, angel investors, seed venture capital funds and, occasionally, big traditional venture capital funds.