张津源

硕士

jinyuanzhang@sjtu.edu.cn

个人简介

  • 张津源,研究生一年级,上海交通大学并行与分布式系统研究所。在王肇国副教授的指导下,当前主要研究方向为数据库系统。

学术经历

  • 2017.09 - 2021.06,北京邮电大学,本科生
  • 2021.09 - 至今,上海交通大学 并行与分布式系统研究所(导师:王肇国)

研究方向

使用符号化执行的方法来检测程序正确性。

获奖情况

  • 2021.05 北京市优秀毕业生
  • 2020.04 美国大学生数学建模大赛二等奖
  • 2017-2021 北京邮电大学优秀学生奖学金