基本信息

陈树伟 副教授

博士学科:计算机科学

硕士学科:运筹与控制 

工作单位:数学学院

联系方式

通信地址:成都市二环路北一段111号

电子邮箱:swchen@home.swjtu.edu.cn

办公电话:028-87601047

办公地点:西南交通大学系统可信性自动验证国家地方联合工程实验室

个人简介

陈树伟,博士,副教授,1999年于郑州大学应用数学专业获得理学学士学位, 2002年于郑州大学运筹与控制专业获得理学硕士学位,2006年获西南交通大学交通信息工程及控制专业博士学位,2014年获英国Ulster大学计算机科学专业博士学位。

 

主要研究方向

现主要研究方向:

(1) 自动推理。

(2) 控制与决策。

Copyright © 2011 http://inc.swjtu.edu.cn 西南交通大学信息网络中心