张薇：女，讲师。

研究方向：形式化方法、并发理论、随机微分方程。

基本信息：2007年毕业于齐齐哈尔大学数学与应用数学专业，获学士学位；2015年毕业于哈尔滨工业大学应用数学专业，获理学硕士学位；2023年毕业于西南大学智能计算与复杂系统专业，获理学博士学位。2019年分别在伦敦大学和约克大学交流访问。2024年6月至今在湖北民族大学数学与统计学院从事教学与科研工作。

科研工作：

论文：在《Journal of Systems Architecture》、《Formal Aspects of Computing》等期刊及会议发表论文5篇，其中SCI收录4篇，EI收录1篇。

项目：主持重庆市研究生科研创新项目1项；参加国家自然科学基金重点项目1项；参加国家自然科学基金面上项目1项；参加重庆市高等教育教学改革研究项目1项。

Email: weiz@hbmzu.edu.cn