張薇：女，講師。

研究方向：形式化方法、并發(fā)理論、隨機(jī)微分方程。

基本信息：2007年畢業(yè)于齊齊哈爾大學(xué)數(shù)學(xué)與應(yīng)用數(shù)學(xué)專業(yè)，獲學(xué)士學(xué)位；2015年畢業(yè)于哈爾濱工業(yè)大學(xué)應(yīng)用數(shù)學(xué)專業(yè)，獲理學(xué)碩士學(xué)位；2023年畢業(yè)于西南大學(xué)智能計(jì)算與復(fù)雜系統(tǒng)專業(yè)，獲理學(xué)博士學(xué)位。2019年分別在倫敦大學(xué)和約克大學(xué)交流訪問。2024年6月至今在湖北民族大學(xué)數(shù)學(xué)與統(tǒng)計(jì)學(xué)院從事教學(xué)與科研工作。

科研工作：

論文：在《Journal of Systems Architecture》、《Formal Aspects of Computing》等期刊及會(huì)議發(fā)表論文5篇，其中SCI收錄4篇，EI收錄1篇。

項(xiàng)目：主持重慶市研究生科研創(chuàng)新項(xiàng)目1項(xiàng)；參加國(guó)家自然科學(xué)基金重點(diǎn)項(xiàng)目1項(xiàng)；參加國(guó)家自然科學(xué)基金面上項(xiàng)目1項(xiàng)；參加重慶市高等教育教學(xué)改革研究項(xiàng)目1項(xiàng)。

Email: [email protected]