[PL/FM PhD] 宣传一波自己，希望相关领域老师和同行捞一把！！！

本：中流985 EE， GPA：3.71/4.0    Rank: 6/45
硕：中科院某所 CS，GPA:3.7/4.0

T: 29/25/22/26 = 102
G: 159/170/3.5 = 329

方向：Formal Method/Constraint Solving/Programming Language
Pub：VMCAI (ccf-b) 一作已发表 * 1, FMCAD (ccf-c) 一作准备投稿 *1

目前已经准备gap申请2025 Fall，想要练习海外暑研，已经发了快100封邮件，0回复。。。
地里如果有相关方向的老师或者前辈，课题组缺人（shengkou）的话，请帮忙捞一下，十分感谢！

同fm➕pl 有小群交流吗

fm/pl/se +1，可以拉个小群吗

xianyuiii 发表于 2024-11-10 08:29:10
同fmpl 有小群交流吗

你对UT Arlington有兴趣？可以私我

祝你一切顺利！

player927 发表于 2024-11-10 09:35:21
fm/pl/se +1，可以拉个小群吗

现在还需要2025年暑研吗，北大CS专业本科，目前大二，谢谢

微信用户_i4a8t 发表于 2025-02-08 04:48:40
现在还需要2025年暑研吗，北大CS专业本科，目前大二，谢谢

北大的应该看不上UTA这种野鸡大学吧lol