Very true. You need to go to a school that specializes in type theory [1].

[1]: https://cstheory.stackexchange.com/questions/50780/which-uni...