职　　称：教授
研究方向：
办公电话：
办公地点：

个人简历

社会兼职

获奖情况 （数据来源：科学技术处、社会科学处）

教学信息 （数据来源：教务处）

  • 形式语义学
  • 软件需求工程（软件工程学术型、计算机软件与理论）
  • 软件需求工程（软件工程专业学位）
  • 形式语义学-计软学术
  • 形式语义学--软工专业学位
  • 形式语义学--软工学术
  • 编译原理
  • 形式化方法
  • SNL编译器实现
  • Web客户端软件开发实践
  • 毕业论文
  • Web服务端软件开发实践
  • 走进软件
  • 专业实习
  • 形式语义学-2016应用学术
  • 学位论文
  • 形式语义学-2016软工专硕
  • 形式语义学-2016软工学术
  • 软件工程理论讨论课-软件工程学术
  • 论文开题-软工
  • 形式语义学（专业学位）
  • 程序编译与运行
  • 计算机新技术讲座

科研信息 （数据来源：科学技术处、社会科学处）

  • 项目：
  • 1. 4G无线通信网络移动代码安全研究及其支持工具开发，吉林省科技厅，2009年
  • 2. 编译原理及其实践课程的工程化教学课群研究，企事业单位委托项目，2009年
  • 3. 工程化实践教学体系与软件工程学科课程体系整合研究，吉林省教育科学规划课题普通规划课题，2008年
  • 专著：
  • 1. C++项目实战：解释程序的面向对象设计与实现，清华大学出版社，01-1年
  • 论文：
  • 1. 基于特征可变性建模教学服务管理系统的研究与实现，计算机与现代化，2018年
  • 2. Sub-Pattern Based Maximum Margin Criterion for Face Recognition，2017 2nd International Conference on Image,Vision and Computing，2017年
  • 3. JVMTI-based Implementation of Security Policies Enforcement on Java Platform，2010 3rd International Conference on Advanced Computer Theory and Engineering，2010年
  • 4. 过程式语言操作语义教学演示系统的设计与实现，计算机应用与软件，2010年
  • 5. Use Case and Non-functional Scenario Template-Based Approach to Identify Aspects，2010 Second International Conference on Computer Engineering and Applications，2010年
  • 6. 应用ANTLR实现过程式语言操作语义的动态演示，计算机应用与软件，2010年
  • 7. JVMTI-based Model Enforcement on Java Platform for Model-Carrying Code，Proceedings of the 4th International Conference on Ubiquitous Information Technologies&Applications(ICUT2009)，2009年
  • 8. LSBA Based security Verification in MCC，The International Conference on Computational Intelligence and Software Engineering(CiSE2009)，2009年
  • 9. 面向软件工程专业工程化改造“编译原理”课程，计算机教育，2009年
  • 10. Verification of Security-Relevant Behavior Model and Security Policy for Model-Carrying Code，Security Technology:Communications in Computer and Information Science，2009年
  • 11. Static Analysis of Java Source Code to Generate Security-Relevant Behavior Model Based on Extended Pushdown Automaton，2009 2nd International Conference on Computer Science and its Applications(CSA2009)，2009年
  • 12. Adapting the NFR Framework to Aspectual Use-Case Driven Approach，Proceedings 7th ACIS International Conference on Software Engineering Research,Management&Applications(SERA09)，2009年
  • 13. The Application of Latent Semantic Indexing and Ontology in Text Classification，INT J INNOV COMPUT I，2009年
  • 14. Finding Motifs in A Set of DNA Sequences : A Dynamic Programming Approach，Proceedings of 2009 International Conference on Machine Learning and Cybernetics，2009年
  • 15. 基于多语言范例的“形式语义学”教学辅助系统，吉林大学学报（理学版），2009年
  • 16. 基于开源jvm的安全策略强制实施，2008全国软件与应用学术会议，2008年
  • 17. Engineering Reform of Compiler Principles Course，2008 International Conference on Computer Science and Software Engineering，2008年
  • 18. 基于语义的web服务体系结构，计算机技术与发展，2008年
  • 19. 基于java平台实现安全行为模型验证，计算机工程与科学，2007年
  • 20. Specification and runtime enforcement of security policies，2007IFIP International Conference on Network and Parallel Computing Workshops,NPC2007，2007年
  • 21. 一个简单面向对象语言的抽象机定义及其可视化实现，吉林大学学报（理学版）特刊，2006年
  • 22. 基于Seal演算形式化描述移动Agent安全，计算机科学(增刊)，2006年
  • 23. Seal 演算的一个信息流分析系统，吉林大学学报（信息科学版），2006年
  • 24. Information flow security for interactive systems，LECT NOTES COMPUT SC，2005年
  • 25. Seal演算与Boxed Ambient演算的关系分析，吉林大学学报（信息科学版），2005年
  • 26. 主动网络的灵活性、安全性和性能，小型微型计算机系统，2003年
  • 27. Seal演算的等式特性，吉林大学学报（信息科学版），2003年
  • 28. Formalizing Active Networks Security with Seal-Calculus，LECT NOTES COMPUT SC，2003年
  • 29. Applying Active Networks to Networked Control Systems，Proceedings of the 21st IASTED International Conference:APPLIED INFORMATICS，2003年
暂停信息维护