搜索结果: 1-2 共查到“计算机科学技术 刘江”相关记录2条 . 查询时间(0.14 秒)
中国科学院重庆绿色智能技术研究院刘江副研究员(图)
中国科学院重庆绿色智能技术研究院 刘江 副研究员 可计算理论
2013/9/3
刘江,副研究员,1979年生。2002年毕业于西南师范大学(现西南大学),2005年在四川大学数学学院获得硕士学位,2010年获得新加坡南洋理工大学理学博士,数理逻辑专业,主要研究可计算理论,2010-2012年在中科院软件所计算机科学国家重点实验室博士后流动站工作,主要研究方向是计算机软件与理论。研究兴趣包括可计算理论、形式化方法、控制论以及混成系统。