孫全：男，講師,。

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

基本信息：2007年畢業(yè)于齊齊哈爾大學(xué)數(shù)學(xué)與應(yīng)用數(shù)學(xué)專業(yè),，獲理學(xué)學(xué)士學(xué)位；2017年畢業(yè)于哈爾濱師范大學(xué)應(yīng)用數(shù)學(xué)專業(yè),，獲理學(xué)碩士學(xué)位,；2024年畢業(yè)于南京航空航天大學(xué)軟件工程專業(yè)，獲工學(xué)博士學(xué)位,。2024年7月至今在湖北民族大學(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)目：參加國家自然科學(xué)基金重點(diǎn)項(xiàng)目1項(xiàng),；參加國家自然科學(xué)基金面上項(xiàng)目1項(xiàng),。

Email：[email protected]