孫全：男，講師。

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

基本信息：2007年畢業(yè)于齊齊哈爾大學數(shù)學與應用數(shù)學專業(yè)，獲理學學士學位；2017年畢業(yè)于哈爾濱師范大學應用數(shù)學專業(yè)，獲理學碩士學位；2024年畢業(yè)于南京航空航天大學軟件工程專業(yè)，獲工學博士學位。2024年7月至今在湖北民族大學數(shù)學與統(tǒng)計學院從事教學與科研工作。

科研工作：

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

項目：參加國家自然科學基金重點項目1項；參加國家自然科學基金面上項目1項。

Email：[email protected]