求比较CS PhD 专排50 偏PL, verification方向和90名 机器学习方向比较

诚心求比较目前手里两个选择：
1. UCR CS PhD，方向偏PL，concurrent system，第一年fellowship，第2～4年RA／TA。导师是个AP，ucla博士，MIT的postdoc，面试过，这个老师发过DISC，PPoPP，OOPSLA，CAV，POPL，PODC，感觉还是挺杂的，但是不算高产，平均一年一到两篇会议的样子，3.4个学生。结合他博后的经历，去了之后应该就是用一些formal methods，coq之类的证明，做一些certified systems。个人感觉这个方向研究产出周期比较长，我也是半路出家，但还算有兴趣。

2. 德州某专排90多名cs校，导师华人，医学图像相关，学生几乎都是中国人，目前都在高deep learning，优点是据打听为典型华人导师，但不算push，3篇顶会毕业，手下学生确实也是发过cvpr，nips，aaai，miccai等。个人感觉进去后挤入AI洪流，做实验，调参，发paper，刷题找工作。

个人读博士的目的：想以后成为某个领域专家，今年随大流申了一波AI相关，结果相当惨烈，现在有些清醒但也难以抉择。目前本人在北美做小developer，以后考虑回国，留美看造化。

希望各位cs专业人士不吝赐教，尤其我本硕皆为ece，深知自己有时的兴趣来自认识不够，故望深入研究某一方向，谢谢！

补充内容 (2018-4-12 09:31):
不知道这两个学校值不值得去读，求建议

看你兴趣了。我和你挺相似的。硕士在国内，老师就是搞verification，formal methods。我对这玩意一点兴趣也没有。所以就专门申的ML/CV/AI方向。做研究最重要的是兴趣。还算有兴趣不妨去UCR。formal methods这方向本来就出成果慢。一年一到两篇会议可以了。不像ML，现在是短平快

. From 1point 3acres bbs补充内容 (2018-4-12 09:45):
多问一句可以吗？你去德州是不是UTA呀？如果是的话，可能咱们说的是同一个导师。