李爱萍,女,计算机科学与技术学院计算机工程系主任,副教授,硕士生导师,博士。中国计算机学会会员,ACM会员。 1995年毕业于中国矿业大学自动化系计算机及其应用专业,获工学学士学位;2001年毕业于太原理工大学机械电子工程专业,获工学硕士学位。2006年毕业于西安电子科技大学测试计量技术及仪器专业,获工学博士学位。2011年8月至2011年10月以公派访问学者身份赴日本横滨国立大学进行研修。长期从事高校的计算机专业基础、计算机科学理论及软件理论的教学与科研工作。主要研究方向为软件形式化描述与验证、软件测试、软件体系结构、高级语言翻译器的技术等。近年来发表论文20余篇,承担并参与了10余项国家、省部级和横向科研项目,出版著作4部。指导过大学生创新实验计划项目、ACM程序设计大赛、机器人大赛、物联网创新大赛等多项赛事并获奖。
我要评论