出自计算机科学国家重点实验室

硕士研究生
导师：张昱
研究方向： 计算机软件与理论
个人介绍：

• 2007~2011 武汉大学计算机学院
• 2011~至今 中科院软件所计算机科学国家重点实验室
• 主要研究兴趣方向为类型论、函数式编程