張薇：女,，講師,。

研究方向：形式化方法,、并發(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》等期刊及會議發(fā)表論文5篇,，其中SCI收錄4篇,，EI收錄1篇。

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

Email: [email protected]