基本信息
刘嘉祥  男  硕导  中国科学院软件研究所
电子邮件： liujx@ios.ac.cn
通信地址： 海淀区中关村南四街4号中科院软件所5号楼A211
邮政编码：

招生信息

   
招生专业
083500-软件工程
081202-计算机软件与理论
招生方向
形式化方法

教育背景

2013-01--2016-10   Université Paris-Saclay   博士
2010-09--2017-06   清华大学   博士
2006-09--2010-07   清华大学   学士

工作经历

   
工作简历
2020-05~2024-06,深圳大学, 助理教授
2017-11~2020-04,深圳大学, 博士后
2013-01~2016-10,Université Paris-Saclay, 博士
2010-09~2017-06,清华大学, 博士
2006-09~2010-07,清华大学, 学士