chenshuwei
Associate Professor
|
Supervisor of Master's Candidates
- Master Tutor
- Education Level:PhD graduate
- Degree:Doctor of philosophy
- Business Address:西南交通大学犀浦校区3号教学楼30615
- Professional Title:Associate Professor
- Supervisor of Master's Candidates
- School/Department:数学学院
- Discipline:Operations Research and Cybernetics
Applied Mathematics
Math.
Mathematics
Contact Information
- PostalAddress：
- Telephone：
- Email：
- Profile
- Research Focus
- Honors & Awards
- Social Affiliations
陈树伟，博士，副教授，1999年于郑州大学应用数学专业获得理学学士学位， 2002年于郑州大学运筹与控制专业获得理学硕士学位，2006年获西南交通大学交通信息工程及控制专业博士学位，2014年获英国Ulster大学计算机科学专业博士学位。
No content
- 中国人工智能学会人工智能逻辑专委会委员,2023.8-Now
- 中国人工智能学会人工智能基础专委会委员,2021.12-Now
- 中国逻辑学会非经典逻辑与计算专委会副秘书长,2022.8-Now
- 中国运筹学会模糊信息与工程分会理事会理事,2017.8-Now
Education Background
1.2010.10-2014.6
英国Ulster大学 | 计算机科学 | Doctor's degree | PhD graduate
2.2002.9-2006.6
西南交通大学 | 交通信息工程及控制 | Doctor of engineering | PhD graduate
3.1999.9-2002.7
郑州大学 | 运筹学与控制论 | Master of science | Master graduate
4.1995.9-1999.7
郑州大学 | 应用数学 | Bachelor of science | Bachelor degree
Positions & Employments
1.2015.9-Now
西南交通大学 | 在职
-
2.英国阿尔斯特大学
-
3.郑州大学
Research Group
1.Name of Research Group:系统可信性自动验证国家地方联合工程实验室