Lambda calculus is not a required class in my university in either CompEng or CompSci..

Formal theory of computation (finite state automata etc.) was also a higher level elective that depended on your concentration.