1樓：山寨版馮諾伊曼
研一的時候選過程式語言理論，formal verification的課。老師都是大神，但我很渣，感覺這個領域門檻很高，目測遠高於AI ML。做理論的話需要精通數理邏輯，理論計算機，並且對系統也得有一定了解。
屬於cs裡面的硬核。但相反，感覺出路遠不如AI的人，不過這個扯遠了。
我所知道的本領域比較熱門的領域，比如program synthesis, program verification, model checking etc. 我這方面不是專家，不過可以看看這位老師的research：
2樓：
我看了這個人的部落格，不敢苟同。
真正的牛的研究者是開創乙個研究領域，而普通的研究者也就跟風灌水。乙個研究領域能不能挖到金礦，誰也說不准。最為乙個真正的研究者應該有自己的判斷。
3樓：
就中科院系統而言，相關方向的團隊全部列出來如下：
中科院軟體所電腦科學國家重點實驗室
中科院計算所計算機體系結構國家重點實驗室-編譯與程式設計實驗室中科院信工所第六研究室
因為這一方向入門門檻較高，所以上述團隊都不是特別大，招生也不多。
4樓：rainoftime
補充 @邵成的回答
在PL相關的學術界
有主要玩Compiler黑魔法的：PLDI，CGO, CC等有重點關注Verification/Formal method的：model checking, hoare logic等。
比較「正統」的PL理論相關的：POPL是首選。其他如ICFP、OOPSLA也很好，PLDI也有比較理論的文章。
5樓：
騰訊使用者研究的筆試，主要考察哪些方面的知識和能力？
調研工廠 誤區6 使用研究方法的時候喜歡趕時髦 研究方法中的各種時髦概念不少，比如最近很流行人類學的研究方法。據說某些人把設計思維也跟人類學的研究方法包裝在一起。似乎只要一提設計或創新，就得使用人類學的研究方法。研究方法只是工具，從沒聽說要做好使用者研究，只能規定用某類方法。每種研究方法都有其利弊，...
人們對檳榔的利用包括哪些方面？
魯班七号 對於海南省的農民來說，種植檳榔能幫助他們增收脫貧，檳榔樹被海南東部 中部和南部地區的廣大農民視為脫貧致富的 發財樹 是他們奔小康之路的重要載體。 已登出 藥用應該是比較廣泛的應用了吧！小時候積食不消化，就被家裡老人按著吃了幾次檳榔四消丸，沒過多久就好了。當時以為只有這一種藥裡面有檳榔，長大...
為什麼人們不研究動物的語言？
Tertobutilo Linskhag 因為首先人類語言和動物語言有質的區別，這個任何乙個語言學入門的教材都會講。人類的語言有任意性，而動物沒有。所以所謂動物語言，都不能稱作真正的語言，只有人類有真正的語言。 吃豆豆的鹿 在研究啊 只是還沒有得出結果而已。世界上是有有智慧型的生物的，比如鯨 他的腦...