汤淼_长春工业大学副教授

您当前浏览器版本过低，为了不影响您的使用，建议您使用最新的谷歌浏览器、火狐浏览器、 360浏览器，更换浏览器后使用更流畅！（注意！双核浏览器请切换为极速模式）

400-607-9388

汤淼
所属院校: 长春工业大学
所属院系: 计算机科学与工程学院
职称: 副教授
导师类型:
招生专业:
研究领域: 软件工程基础理论与方法研究内容：在严格的数学基础（逻辑、代数、自动机、图论）之上研究软件开发各环节的基础理论和方法，克服自然语言、图表等非形式化方法描述体系结构存在的不足，提供一个用于严格分析的精确模型，减少软件设计的错误，开发出高可靠度系统。建立运用形式化方法描述的体系结构模型（形式化规约）；运用模型检测或证明器对形式化模型进行精确分析（形式化验证）；软件工程中的形式化方法；基于形式化方法的软件需求建模；现代逻辑与形式化方法。科研项目车辆运动的海量轨迹数据的相似度的研...

个人简介

学习与工作经历 1997.9-2001.7吉林工学院计算机科学与技术专业，本科生，获工学学士学位 2004.9-2006.9天津大学计算机应用技术专业，研究生，获工学硕士学位 2001.7-至今长春工业大学教师 2016.9被评为副教授