刘江，副研究员，1979年生，男，2002年毕业于西南师范大学（现西南大学），2005年在四川大学数学学院获得硕士学位，2010年获得新加坡南洋理工大学理学博士，数理逻辑专业，主要研究可计算性理论，2010-2012年在中科院软件所计算机科学国家重点实验室博士后流动站工作，主要研究方向是计算机软件与理论。研究兴趣包括可计算性理论、形式化方法、混成系统以及智能交通。