张薇：女，讲师。
研究方向：形式化方法、并发理论、随机微分方程。
基本信息：2007年毕业于齐齐哈尔大学数学与应用数学专业，获学士学位；2015年毕业于哈尔滨工业大学应用数学专业，获理学硕士学位；2023年毕业于西南大学智能计算与复杂系统专业，获理学博士学位。2019年分别在伦敦大学和约克大学交流访问。2024年6月至今在天游8线路检测中心数学与统计学院从事教学与科研工作。
科研工作：
论文：在《Journal of Systems Architecture》、《Formal Aspects of Computing》等期刊及会议发表论文5篇，其中SCI收录4篇，EI收录1篇。
项目：主持重庆市研究生科研创新项目1项；参加国家自然科学基金重点项目1项；参加国家自然科学基金面上项目1项；参加重庆市高等教育教学改革研究项目1项。
Email: weiz@hbmzu.edu.cn