刘振宇，男，教授， 1962年11月生，硕士学位，南华大学bet5365首页手机版下载软件工程系教师，硕士生导师，计算机学院院长，日本清華総合研究所作访问学者。主要研究方向为软件分析与建模、软件测试、信息化工程。
    近年来，在国内外重要期刊或国际会议发表学术论文20余篇，其中1篇被SEI收录；主持或主要参加国家自然科学基金、湖南省然科学基金、湖南省科技计划、湖南省教育厅科学研究课题10余项。

主要论文：
    1. 基于形式化方法的测试驱动开发研究，计算机工程与设计，2008.8
    2. 基于SOA的动态数据集成框架， 计算机与现代化，2008.03
    3. 基于AspectJ的面向方面切入点故障模型，计算机时代，2008.01
    4. 一种基于访问约束的数据同步技术, 微计算机应用, 2007．12
    5. 面向MVC++的测试驱动开发研究，计算机系统应用研究, 2006．12
    6. 基于极限编程的软件可维护性分析. 南华大学学报, 2006.9
    7. 软件开发过程与测试过程的协同工作模式. 微机发展, 2005.11
    8. 基于ISD4004语音芯片的语言学习机的设计，微计算机信息2004.7，
    9. 校园一卡通系统集成技术与应用，河南科技大学学报，2004.4
    10. 元搜索引擎查询结果的合成方法，POST-VLDB暨第十九届全国数据库学术会议论文集，2002.8
    11. 元搜索引擎系统合成算法的约束条件，软件学报，2002.7
    12. Predicting the Goodness of Database Groups Based on Vector Space Model，Proceedings of APWEB’01 conference，2001.11
    13. 基于ＷＷＷ信息浏览区域的查询语言设计，计算机工程，2001.4
    14. 数据库服务器与ＷＷＷ之间的一种集成设计，微机发展，2001.3
    15. 基于浏览过程的LFU：一个新的WWW缓冲清理算法，计算机工程与应用，2000.6
    16. Ｗｅｂ信息查询结果的区域性处理。计算机应用，2000.6
    17. 基于WWW浏览过程的最近最少使用算法，计算机应用，2000.5
    18. 基于ＷＷＷ用户浏览模式的路径提示算法，计算机工程，2000.5
    19. WebGuide一个基于用户浏览模式的WWW导航系统，中南工学院学报，2000.2
    20. 基于模板的数据结构类属实现方法，计算机工程与应用，2000.2


主要项目：
    1.《分布强实时系统算法的研究》,国家自然科学基金子项
    2.《展德公司计算机综合信息管理及办公自动化系统》,横向课题 
    3.《软件工程人才培养研究》，南华大学高等教育改革与研究课题
    4.《数据结构课程教学流程的改革与实现》，校教研课题
    5.《MIS构件提取研究》,省教育厅课题
    6.《快速研制质量保证与可靠技术》,十五国防科技预研项目
    7.《南华大学校园一卡通方案设计》省教育厅课题
    8.《基于构件的软件测试方法研究》,南华大学研究生导师科研项目
    9.《基于复用环境的构件测试研究》,省教育厅课题 
    10.《程序断言动态生成技术》省自然科学基金课题
    11.《获取程序断言的测试方法研究》衡阳市科技项目