丁浩然

本科生四年级

nhaorand@gmail.com

个人简介

  • 丁浩然,2018级博士生,上海交通大学并行与分布式系统研究所。在陈海波教授指导下,当前主要研究方向为系统软件的形式化验证。
  • 英文主页:http://ipads.se.sjtu.edu.cn/haoran_ding

学术经历

  • 2017.09 - 至今,上海交通大学并行与分布式系统研究所,本科生,导师:陈海波

  • 2014.09 - 至今,南京大学计算机科学与技术系,本科生,导师:袁春风

发表论文

申请专利

  • ​ ### 助教工作及学生工作
  • 2016.09 - 2017.01 南京大学 计算机科学与技术系 计算机系统基础

获奖情况

  • 2017 郑钢奖学金
  • 2017 “龙芯杯”全国大学生计算机系统能力培养大赛二等奖 教育部高校计算机类专业教学指导委员会
  • 2016 国家奖学金 教育部