关于我

首先感谢您的阅读。我是贺思远。

我在普渡大学研究编程语言与类型系统，请参考已发表文章。若您对我的研究感兴趣，或者您愿意与我交流或分享学术建议，您可以通过邮箱与我联系。

我于2020年于上海交通大学密西根学院获得电子与计算机工程本科学位，并参加3+2项目赴美，于2021年获得密西根大学信息硕士学位。本科期间我从事AI研究，大一前往联想AI研究所实习，之后在校研究AI的可解释性。之后于硕士期间转为研究形式化证明，并且接触类型系统。

我的科研工作主要集中在函数式编程语言，类型系统，与一部分形式逻辑。如果您希望深入了解，请参考已发表文章或者联系我。

目前我正在积极寻找工作与教职机会，包括国内与海外。

最后，分享2024年末的随笔，与诸位共勉。

时更岁序，辞辰迎巳，萍聚异乡。 观山野生烟，梅枝凝雪；玉落清波，欲碎还圆。 家书堪至，故里难寻，神州应隔万里遥。 乡愁近，看千灯挂月，不似人间。

故人聚了再别，忆年少风流春日游。 叹春秋偷换，流光虚度；儒冠多误，壮志难收。 剑折仍利，花落还香，怎舍等闲度晨光。 当适时，持凌云妙笔，诘问穹苍。