Very true. You need to go to a school that specializes in type theory [1]. [1]: https://cstheory.stackexchange.com/questions/50780/which-universities-in-the-u-

Very true. You need to go to a school that specializes in type theory [1]. [1]: https://cstheory.stackexchange.com/questions/50780/which-universities-in-the-u-s-are-doing-research-in-type-theory https://cstheory.stackexchange.com/questions/50780/which-uni...