标题：周晓宇
基本信息
周晓宇，男，1972年生。1998年起在东南大学计算机科学与工程系任教，主要从事软件逆向工程与再工程、程序设计语言、软件测试等方面的教学与科研工作。
曾参加过多项国家和省自然科学基金项目、国防重点预先研究项目、江苏省科技攻关项目以及与Intel、华为等国内外大型IT企业的合作项目，工作涉及程序分析与切片技术研究、白盒测试工具研制、软件性能分析工具研制、编码规范制定、编码风格检查及程序错误侦测技术研究等方面。目前主要从事与用例、设计模式、软件体系结构有关的逆向工程与再工程研究。曾在国内外学术杂志和会议上发表论文20余篇，7次获得省部级奖励。
曾承担“程序设计语言原理”、“并发程序设计”等研究生课程和“编译原理”、“模糊数学”等本科生课程的教学工作。自98年起参与历次“全国程序设计语言发展与教学学术会议”的主办工作。
科研项目
[1]面向软件可信性演进的软件测试技术研究.国家自然科学基金重大研究计划(90818027).2009–2012.参加
[2]基于程序切片的软件测试优化技术.国家自然科学基金(60803007).2009-2011.参加
[3]高可信软件的测试与评估.国家自然科学基金重点项目(60633010).2007-2010.参加
[4]网络计算环境下的Web应用软件测试模型及相关技术研究.国家自然科学基金(90412003).2004-2006.参加
[5]软件设计模式的形式化描述及程序代码识别技术研究.江苏省自然科学基金面上项目(BK2006094).2006-2008.负责
[6]基于Agent的邮件特征提取及其在垃圾邮件识别中的应用研究. 国家自然科学基金(60503020).2006-2008.参加
[7]软件测试技术与工具研究.江苏省计算机信息处理技术重点实验室开放基金(KJS02009).2004-2005.负责
[8]高维稀疏矩阵降维方法的理论研究与应用.国家自然科学基金(60303024).2004-2004.参加
所获奖项
软件分析测试与算法优化的模型、方法与技术，江苏省科技进步奖，一等奖，2007年软件质量保证支撑系统SQAS，湖北省科学技术进步一等奖，2005年软件分析度量与测试的基础理论与方法，教育部提名国家科学技术奖（自然科学奖），二等奖，2005年程序分析与测试技术研究，教育部提名国家科学技术奖（科技进步奖），二等奖，2004年嵌入式软件测试支撑系统ETS，江苏省科学技术进步二等奖，2003年Ada逆向工程与软件维护支撑系统ARMS，江苏省科学技术进步三等奖，2001年Ada程序分析与理解系统APAUS，江苏省科学技术进步二等奖，1998年
发表论文
周晓宇,钱巨,陈林,徐宝文.基于形态分析识别设计模式中的集中管理式聚集.软件学报. 2010,21(11):2725−2737.XiaofangQi; XiaoyuZhou; XiaojingXu; YingzhouZhang; Slicing Concurrent Programs Based on Program ReachabilityGraphs. In: Conference of the 10th International Conference on Quality Software (QSIC), 2010: 248 –253.尹恒,周晓宇.一种恢复状态模式的状态转换图的方法.计算机与数字工程.2010,38(1):71-73.周晓宇, 徐宝文. 一个设计模式自动识别技术研究框架. 计算机科学. 2009, 36(5):124-128.ZHOU Xiaoyu; QIAN Ju; CHEN Lin; XU Baowen. Automatic Identification of Use Cases from Codes: A User's Goal Driven Approach. WuhanUniversityJournal of Natural Sciences. 2009, Vol.14 No.5, 409-414.JuQian, Baowen Xu, XiaoyuZhou, Lin Chen, Liang Shi. Dependence analysis for C programs with combinability of dataflow facts under consideration. Wuhan University Journal of Natural Sciences, 2009, Volume 14, Number 4. 321-326.Lin Chen, Baowen Xu, TianlinZhou, XiaoyuZhou: A Constraint Based Bug Checking Approach for Python. In: The 33rd Annual IEEE International Computer Software and Applications Conference(COMPSAC),2009,Volume 2: 306-311.张楠,周晓宇,陈林.基于惩罚函数的演化测试优化方法研究.计算机与数字工程.2009年04期.余超,周天琳,周晓宇,陈林,徐宝文.TPython:一种扩充的Python语言.计算机与数字工程, 2009年05期.李亚军,徐宝文,周晓宇.基于AST的克隆序列与克隆类识别. 东南大学学报:自然科学版. 2008,38(2),228-232.曹璟, 徐宝文, 周晓宇, 钱巨, 杨彬. 基于面向方面调用图的AspectJ动态通知编织优化.软件学报.2008, 19(9):2218-2227.陈林，徐宝文，周晓宇，曹璟. 一种基于类型推导的泛型Java程序重构方法. 电子学报(增刊) v 36, 2007: 185-191.姜淑娟,徐宝文,史亮,周晓宇.一种基于异常传播分析的依赖性分析方法.软件学报.第18卷第4期.2007: 832-841.戚晓芳,徐宝文,周晓宇.一种基于程序可达图的并法程序依赖分析方法.电子学报,Vol(35) No(2),2007: 287-291XiaoyuZhou, TianlinZhou, JuQian, Baowen Xu, YanxiangHe. Identifying Use Case Relations FromCodes. The Ninth IASTED International Conference on Software Engineering and Applications. Phoenix, Arizona, USA, November, 2005.Xiaoyu Zhou, Baowen Xu, Liang Shi, Lin Chen. Express Calculation Decomposition with Extended Aspect-oriented Programming Language. Journal of Electronics and Computer Science. Vol. 7, No. 1, Summer 2005. ISSN 1229-425X. pp: 89-100.Liang Shi, Baowen Xu, Lin Chen, XiaoyuZhou. SQAS: A Platform for Software Analysis and Testing. Journal of Electronics & Computer Science. Vol. 7, No. 1, Summer 2005. pp37-45.周晓宇，李慎之，戚晓芳，徐宝文. 2002. 数据挖掘技术初探. 小型微型计算机系统，2002，23(3):342-346.管杰，周晓宇，陈振强，卢虹，徐宝文，C++程序分析测试辅助系统CATER的设计与实现，软件学报，2002，13(增刊):259-264.徐宝文, 陈振强, 周晓宇. 基于依赖性分析的面向对象Ada95程序切片. 软件学报, 2001, 12(增刊), 208-213.张卫丰, 徐宝文, 周晓宇. 一种改进的参考文献检索中的相关性技术. 软件学报, 2001, 12(增刊), 317-322.张卫丰, 徐宝文, 周晓宇, 李东, 许蕾. Web搜索引擎综述. 计算机科学, 2001, 28(9), 24-28.张卫丰, 徐宝文, 周晓宇, 许蕾,李东. 元搜索引擎综述. 计算机科学, 2001, 28(8), 36-41.Zhang Weifeng, Xu Baowen, Zhou Xiaoyu, Huang H. Scheduling in a MetaSearch Engine by Genetic Algorithm. WuhanUniversityJournal of Natural Sciences, 6(1-2), Mar. 2001, 541-546张卫丰，徐宝文，陈振强，周晓宇，基于Web的参考文献搜索模型研究，南京大学学报（自然科学）Computer Issue, 2000, 36(10), 602-606.张卫丰, 徐宝文, 周晓宇. Web页面中的计数器研究. 小型微型计算机系统, 2000, 21(10), 1096-1099.
会议文集
[1] 徐宝文主编，孟小峰、于戈、周晓宇、周天琳副主编. Web信息系统及其应用.电子工业出版社. 2004年10月
[2] 徐宝文主编，陈陵、周晓宇副主编.程序设计语言与教学进展.电子工业出版社.2003年3月
[3] 徐宝文、周晓宇、蔡家楣主编.程序设计语言及其教学.电子工业出版社.2001
[4] 徐宝文、郑国梁、周晓宇主编.程序设计语言研究与教学.电子工业出版社.1998
专题报道
 飘逸遒劲 水乳交融——专访军旅书法家周晓宇
曹秋香
书法是中国特有的一种传统文化及艺术，被誉为无言的诗，无形的舞，无图的画，无声的乐。一个周一的下午，我来到国防大学，认识了军旅书法家周晓宇老师，聆听着他的书法人生，并感知其书法艺术……
初见周老师感觉随和、幽默，有着军人的豪爽和学者的儒雅，怀着崇敬的心情向其探讨着书法艺术的奥秘，采访也由此展开了。
他出身人军人家庭，自幼受严谨家风和艺术文化的熏陶，养成了勤奋、刻苦、善思的好习惯。而他与书法结缘却是受父亲战友的影响，看到叔叔现场挥笔的豪迈与行云流水的墨迹让他无比的向往，并暗下决心要学好书法，也为此不断的努力着……
在书法技艺上，他是一步一个脚印走过来的。早期临习柳公权《玄秘塔碑》、颜真卿《多宝塔碑》，后研习王义之、怀素、于佑任等书法大家的名帖。他钟爱书法，经长期练习，渐成一体，其书风飘逸遒劲，用笔刚柔相济，章法有度。初中时，得到锡伯族油画家托永寿老先生的启蒙教育，扎实的素描、速写和写生功底和美术知识，为其以后的书法艺术道路奠定了坚实的基础。入伍后，火热的部队生活为他提供了丰富多彩的素材和广阔的用武之地。他所掌握的绘画技能和美术知识，在他的从军道路上发挥了意想不到的作用。自他加入到连队的板报组之后，连队的黑板报每次参加评比都获得团里的第一名，他也就自然而然地成了连里的文书。提干以后，由于工作岗位经常变换，一度将书法爱好搁置多年。直到进入师职岗位以后，才重新将这一爱好拣了起来。几十年来，在书法学习道路上虽经坎坷，却也收获颇丰。他博览众长，兼收并蓄，得古人之神髓而又有所创新，“转益多师是吾师”，在创新的路上又左右逢源，不断超越自我，从而使书法艺术日臻成熟。其笔法结体自然稳健，气韵贯通，他的字遒劲不失厚重、飘逸而不失沉稳、柔和中显露风骨。做到了细微之中见大气、浑穆之中见空灵、清秀之中见高古，形成了飘逸而不失沉稳、隽秀而不失厚重、富有时代新意的书法艺术风格。
那天很荣幸现场观看先生创作，简直是一种享受。他手中挥动的狼毫笔走龙蛇、时缓时疾、铁画银钩，特别是着笔运气时特有的那种“胸无古人、目无今人、任天而行、崇尚意趣”的境界。作为旁观者，我发现，他腕下的每一笔都恍若一条通幽的曲径，牵引着我自由想象的翅膀，去领略书法艺术的奇峰异谷和独特妙境。他的书法作品，不仅美观大方，章法有度，而且透着一股灵秀之气。既有古人的拙朴雅致，又有今人的秀美大气，更有军人特有的刚毅雄浑之美。
其书法作品是一种无形力量的有效释放，是一种水乳交融的默契，是外在形象和内在神韵的结合，在一点一线、一笔一划之间，有一种托物言志、即物达情之美。这样的书法作品，不仅是书法家本身物我相容、书物托意的心灵写照，而且能启人心智，引发联想，从而让观者与书法家之间产生心灵的共振和艺术的共鸣。
周老师尤其擅长行草。他说，楷书体现的是一种严谨得令人窒息的自控力，让观者感受到的是一种类似于宗教般的虔诚；行书最能体现出书法家的常态和性情，一个人内心世界以及波涌点滴在行书中展现淋漓尽致。行书还有一个特点，它能更大限度地看出一个书者的全部技艺，是巧是拙，想藏着掖着都不行。草书乃心性化天才艺术，断非技巧砥砺可攀越，没有天纵之才，实难成大家。草书能尽显一个人的狂放不羁和放浪形骸，让别人看到的是个性的释放、风格的展现。
如今的他，对书法艺术的热爱不减当年。经过数十年的磨砺，他不仅在强健笔力和结字章法方面颇有感悟，更多的得益于其“以字抒怀”的精神启迪。他感言，临书临字，即是临意临心；仅有爱好不行，还得勤学苦练，经常感悟。
作品欣赏
周晓宇书法(20张)