软件教研室的前身是吉林大学数学系计算数学教研室，在六十年代初，由金成植、金淳兆、周长林等老一辈计算机科学家创建了系统软件教研室，在形式化理论、软件工程、操作系统等方面为国家作出了杰出的贡献。
目前，软件教研室主要以软件新方法与新技术研究为重点，理论研究与应用研究相结合，主要研究方向包括程序设计语言及实现技术、并发程序形式语义及其应用、语义网及本体工程、形式化方法及其在软件开发中的应用等。目前本教研室主任是刘磊教授（博导）。现有教师11人，其中博士导师3人，副教授2人，讲师6人。现正从事有关Monad方法、语义形式化、程序分析以及语义网方面的深入研究工作。至今本教研室已经培养了5名博士和近60余名硕士研究生，目前在读博士有12人，硕士研究生41人。
|
