基本信息
王永吉 男 博导 软件研究所
电子邮件:ywang@itechs.iscas.ac.cn
通信地址:中科院软件所5号楼11层
邮政编码:100190

研究领域

云计算、物联网、嵌入式系统、虚拟化技术、隐蔽信道、网络技术、实时系统、人工智能、数据挖掘、软件工程

教育背景

1992-02--1995-07 英国爱丁堡大学 博士
1980-09--1987-07 北京航空航天大学 学士、硕士

工作经历

2002.09至今 中国科学院软件研究所 百人计划特聘研究员,博士生导师
1998.10-2002.09 英国格拉斯哥大学(Glasgow University),研究员
1995.07-1998.10 英国赫瑞瓦特大学(Heriot-Watt University),博士后,助研
1987.02-1992.01 天津大学精密仪器系 助教,讲师
1992.02-1995.07 英国爱丁堡大学(Edinburgh University),博士

专利与奖励

专利成果
(1)  1949240 用于计算机的电子数据取证方法和系统 王永吉;周博文;丁丽萍;王青;李明树
(2)  101093445 基于软件过程时序数据自动挖掘的多步预测方法和系统 王永吉;阮利;王青;李明树
(3)  101110034 自动挖掘软件过程任务仓库中的高性能任务的方法和系统 王青;阮利;王永吉;李明树
(4)  201010569881.0. 一种隐蔽信道标识方法 吴敬征, 丁丽萍, 王永吉, 周启明, 刘剑
(5) CN102244628A 一种云计算环境下的隐蔽通信方法;吴敬征;王永吉;丁丽萍

奖励信息
(1) 中国科学院软件研究所优秀导师,院级,2012
(2) 国家科学技术进步奖,二等奖,国家级,2005
(3)指导学生三人次获得中国科学院院长奖学金

发表论文

[1] Yuqi Lin, Saif Malik, Kashif Bilal, Qiusong Yang, Yongji Wang, Samee U. Khan, "Designing and Modeling of Covert Channels in Operating Systems," IEEE Transactions on Computers, no. (已录用).
[2] Li Chen, Wu Jingzheng, Lyu Yinrun, Wang Yongji, "An Efficient Approach for Solving Optimization over Linear Arithmetic Constraints," Journal of Computer Science and Technology, no. (已录用).
[3] Jingzheng  Wu, Zhifei  Wu, Mutian  Yang, Tianyue Luo, Yanjun Wu, Yongji Wang, "Poster: Quality, Reliability and Security Study of Vendor Customized Android Applications," in Proceedings of the 22nd Network and Distributed System Security, San Diego, California USA, 2015.
[4] Jingzheng Wu, Yanjun Wu, Mutian Yang, Zhifei Wu, Tianyue Luo, Yongji Wang, "Poster: biTheft: Stealing Your Secrets by Bidirectional Covert Channel Communication with Zero-Permission Android Application," in Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, 2015, pp. 1690-1692.
[5] Jingzheng  Wu, Yanjun  Wu, Mutian  Yang, Zhifei  Wu, Tianyue  Luo, Yongji  Wang, "QRCloud: Android Vulnerability Query and Push Services based on QR Code in Cloud Computing," Journal of Computational Information Systems, vol. 11, no. 11, pp. 3875-38813875-3881, 2015.
[6] Jingzheng  Wu, Yanjun  Wu, Zhifei  Wu, Mutian  Yang, Tianyue  Luo, Yongji  Wang, "AndroidFuzzer: Detecting Android Vulnerabilities in Fuzzing Cloud," Journal of Computational Information Systems, vol. 11, no. 11, pp. 3859-3866, 2015.
[7] 徐可欣, 张文, 王永吉, "基于统计抽样的非均衡分类方法在软件缺陷预测中的应用," 计算机应用与软件, vol. 32, no. 8, pp. 215-219,233, 2015.
[8] 吴敬征, 武延军, 武志飞, 杨牧天, 罗天悦, 王永吉, "基于有向信息流的Android隐私泄露类恶意应用检测方法," 中国科学院大学学报, vol. 32, no. 6, pp. 807-815, 2015.
[9] 吴敬征, 武延军, 罗天悦, 武志飞, 杨牧天, 王永吉, "一种基于权限控制机制的Android系统隐蔽信道限制方法," 中国科学院大学学报, vol. 32, no. 5, pp. 667-675, 2015.
[10] 王秀青, 侯增广, 潘世英, 谭民, 王永吉, 曾慧, "基于多超声传感器信息和NeuCube的移动机器人走廊场景识别," 计算机应用, vol. 35, no. 10, pp. 2833-2837, 2015.
[11] 韩旭, 李娟, 王永吉, 杨达, "基于协同相关性模型的特征需求自动标注系统," 计算机应用与软件, vol. 32, no. 7, pp. 1 - 4,55, 2015.
[12] 陈力, 王永吉, 吴敬征, 吕荫润, "基于树状线性规划搜索的单调速率优化设计," 软件学报, vol. 26, no. 12, pp. 3223-3241, 2015.
[13] 王秀利, 王永吉, "基于命令紧密度的用户伪装入侵检测方法," 电子学报, no. 6, pp. 1225-1229, 2014.
[14] 王晓龙, 丁丽萍, 廖晓锋, 金波, 林渝淇, 王秀利, 王永吉, "基于动态信任根的虚拟机监控器动态完整性度量架构," 计算机应用, vol. 34, no. S2, pp. 194-199, 2014.
[15] Jingzheng Wu, Bei Guan, Yuqi Lin, S. U.  Khan, Nasro Min-Allah, Yongji Wang, "C2Hunter: Detection and Mitigation of Covert Channels in Data Centers," in Handbook on Data Centers, S. U. K. A. Y. Zomaya, Ed., ed: Springer-Verlag, New York, USA, 2014, pp. 961-996.
[16] Jingzheng Wu, Liping Ding, Yanjun Wu, Nasro Min-Allah, S. U. Khan, Yongji Wang, "C2Detector: a covert channel detection framework in cloud computing," Security and Communication Networks, vol. 7, no. 3, pp. 544-57, March 2014.
[17] Lan Wei, Wenbo Lian, Kuien Liu, Yongji Wang, "Hippo: An enhancement of pipeline-aware in-memory caching for HDFS," in 23rd International Conference on Computer Communication and Networks, 2014, pp. 5 pp.-5 pp.
[18] Xiuqing  Wang, Zeng-Guang  Hou, Feng Lv, Min Tan, Yongji  Wang, "Mobile robots' modular navigation controller using spiking neural networks," Neurocomputing, vol. 134, no. 25, pp. 230-238, 25 June 2014.
[19] Bei Guan, Jingzheng Wu, Yongji Wang, S. U. Khan, "CIVSched: a communication-aware inter-VM scheduling technique for decreased network latency between co-located VMs," IEEE Transactions on Cloud Computing, vol. 2, no. 3, pp. 320-332, July-Sept. 2014.
[20] Jingzheng  Wu, Yanjun  Wu, Mutian  Yang, Zhifei  Wu, Yongji  Wang, "Vulnerability Detection of Android System in Fuzzing Cloud," in IEEE Sixth International Conference on Cloud Computing, 2013, pp. 954-5.
[21] Jingzheng Wu, Yanjun Wu, Zhifei Wu, Mutian Yang, Yongji Wang, "Vulcloud: scalable and hybrid vulnerability detection in cloud computing," in Seventh International Conference on Software Security and Reliability Companion, 2013, pp. 225-6.
[22] Peng Liu, Jigang Wu, Yongji Wang, "Hybrid algorithms for hardware/software partitioning and scheduling on reconfigurable devices," Mathematical and Computer Modelling, vol. 58, no. 1, pp. 409-420, 2013.
[23] Yuqi Lin, Liping Ding, jingzheng Wu, Yalong Xie, Yongji Wang, "Robust and Efficient Covert Channel Communications in Operating Systems: Design, Implementation and Evaluation," in IEEE Seventh International Conference on Software Security and Reliability Companion, 2013, pp. 45-52.
[24] Ke Li, Junchao Xiao, Yongji Wang, Qing Wang, "Analysis of the Key Factors for Software Quality in Crowdsourcing Development: An Empirical Study on TopCoder.com," in IEEE 37th Annual Computer Software and Applications Conference, 2013, pp. 812-17.
[25] Hameed Hussain, Saif Ur Rehman Malik, Abdul Hameed, Samee Ullah Khan, Gage Bickler, Nasro Min-Allah, Muhammad Bilal Qureshi, Limin Zhang, Yongji Wang, Nasir Ghani, "A survey on resource allocation in high performance distributed computing systems," Parallel Computing, vol. 39, no. 11, pp. 709-736, 2013.
[26] Bei Guan, Yanjun Wu, Liping Ding, Yongji Wang, "CIVSched: Communication-aware Inter-VM Scheduling in Virtual Machine Monitor Based on the Process," in Proceedings of the 13th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, 2013, pp. 597-604.
[27] Zhengcai Cao, Huidan Zhao, Yongji Wang, "ANFIS and SA Based Approach to Prediction, Scheduling, and Performance Evaluation for Semiconductor Wafer Fabrication," Chinese Journal of Electronics, vol. 22, no. 1, 2013.
[28] 廖晓锋, 王永吉, 周津慧, 关贝, "一种领域专家文献自动收集系统," 计算机系统应用, vol. 21, no. 6, pp. 115-120, 2012.
[29] 廖晓锋, 王永吉, 范修斌, 吴敬征, "基于LDA主题模型的安全漏洞分类," 清华大学学报(自然科学版), vol. 52, no. 10, pp. 1351-1355, 2012.
[30] 贺喜, 蒋建春, 丁丽萍, 王永吉, 廖晓峰, "基于LDA模型的主机异常检测方法," 计算机应用与软件, vol. 29, no. 8, pp. 1-4,24, 2012.
[31] 曹政才, 韩丁富, 王永吉, "面向城市交通网络的一种新型动态路径寻优方法," 电子学报, vol. 40, no. 10, pp. 2062-2067, 2012.
[32] 曹政才, 邓积杰, 刘民, 王永吉, "Bottleneck Prediction Method Based on Improved Adaptive Network-based Fuzzy Inference System (ANFIS) in Semiconductor Manufacturing System," 中国化学工程学报:英文版, vol. 20, no. 6, pp. 1081-1088, 2012.
[33] Jingzheng Wu, Yongji Wang, Liping Ding, Xiaofeng Liao, "Improving performance of network covert timing channel through huffman coding," Mathematical and Computer Modelling, vol. 55, no. 1, pp. 69-79, 2012.
[34] Jingzheng Wu, Liping Ding, Yuqi Lin, Nasro Min-Allah, Yongji Wang, "XenPump: A New Method to Mitigate Timing Channel in Cloud Computing," in 2012 IEEE 5th International Conference on Cloud Computing, 2012, pp. 678-85.
[35] Xiuqing Wang, Zengguang Hou, Min Tan, Yongji Wang, Fei Xie, "Mobile Robots' Wall-Following Controller Based on Probabilistic Spiking Neuron Model," in Advanced Materials Research, 2012, pp. 1547-1551.
[36] Xiuqing Wang, Zengguang Hou, Feng Lv, Min Tan, Yongji Wang, "A target-reaching controller for mobile robots using spiking neural networks," in Proceedings of the 19th International Conference on Neural Information Processing, 2012, pp. 652-9.
[37] Nasro Min-Allah, Samee Ullah Khan, Yongji Wang, "Optimal task execution times for periodic tasks using nonlinear constrained optimization," The Journal of Supercomputing, vol. 59, no. 3, pp. 1120-1138, 2012.
[38] Peng Liu, Jigang Wu, Yongji Wang, "Integrated Heuristic for Hardware/Software Co-design on Reconfigurable Devices," in 13th International Conference on Parallel and Distributed Computing, Applications and Technologies, 2012, pp. 370-5.
[39] Bei Guan, Yanjun Wu, Yongji Wang, "A Novel Security Scheme for Online Banking Based on Virtual Machine," in 2012 International Conference on Software Security and Reliability Companion, 2012, pp. 12-17.
[40] 吴敬征, 丁丽萍, 王永吉, "云计算环境下隐蔽信道关键问题研究," 通信学报, vol. 32, no. 9A, pp. 184-203, 2011.
[41] 王永吉, 吴敬征, 丁丽萍, 曾海涛, "一种基于并发冲突间隔时间的隐蔽信道检测方法," 计算机研究与发展, vol. 48, no. 8, pp. 1542-1553, 2011.
[42] 王衍喜, 周津慧, 王永吉, 肖永红, 郝丹, "一种基于科技文献的学科团队识别方法研究," 图书情报工作, vol. 55, no. 2, pp. 55-58, 98, 2011.
[43] 曹政才, 赵会丹, 王永吉, "基于模糊Petri网推理的半导体生产线投料控制策略," 电子学报, vol. 39, no. 7, pp. 1545-1550, 2011.
[44] Zhanshan Zhao, Jing Zhang, Jigang Wu, Yongji Wang, "Sliding Mode Control Algorithm Design for a Class of Unmatched Uncertain System," in Parallel Architectures, Algorithms and Programming (PAAP), 2011 Fourth International Symposium on, 2011, pp. 3-8.
[45] Wang Xiuqing, Zengguang Hou, Min Tan, Yongji Wang, Siyao Fu, Lihui Chen, "Improved mobile robot's Corridor-Scene Classifier based on probabilistic Spiking Neuron Model," in 2011 10th IEEE International Conference on Cognitive Informatics & Cognitive Computing, 2011, pp. 348-55.
[46] JingZheng Wu, Liping Ding, Yongji Wang, Wei Han, "A Practical Covert Channel Identification Approach in Source Code Based on Directed Information Flow Graph," in Proceedings of the 2011 Fifth International Conference on Secure Software Integration and Reliability Improvement, 2011, pp. 98-107.
[47] JingZheng Wu, Liping Ding, Yongji Wang, Wei Han, "Identification and Evaluation of Sharing Memory Covert Timing Channel in Xen Virtual Machines," in Proceedings of the 2011 IEEE 4th International Conference on Cloud Computing, 2011, pp. 283-91.
[48] Xiuqing Wang, Zengguang Hou, Min Tan, Yongji Wang, Zhanhua Huang, "Spiking neural networks and its application for mobile robots," in Proceedings of the 30th Chinese Control Conference, 2011, pp. 4133-4138.
[49] Xiaofeng Liao, Yongji Wang, Liping Ding, Jian Gu, "Extended Probabilistic Latent Semantic Analysis Model For Topics In Time-Stamped Images," Intelligent Automation & Soft Computing, vol. 17, no. 7, pp. 997-1007, 2011.
[50] Xiaofeng Liao, Yongji Wang, Liping Ding, Jian Gu, "A novel duplicate images detection method based on PLSA model," Proceedings of the SPIE - The International Society for Optical Engineering, vol. 8349, no. pp. 834909 (8 pp.)-834909 (8 pp.), 2011 2011.
[51] Xiaofeng Liao, Liping Ding, Yongji Wang, "Secure Machine Learning, A Brief Overview," in 2011 5th International Conference on Secure Software Integration & Reliability Improvement Companion, 2011, pp. 26-9.
[52] Liping Ding, Jian Gu, Yongji Wang, Jingzheng Wu, "Analysis of Telephone Call Detail Records Based on Fuzzy Decision Tree," in Forensics in Telecommunications, Information, and Multimedia, ed: Springer, 2011, pp. 301-311.
[53] Zhengcai Cao, Huidan Zhao, Yongji Wang, "Releasing control policy for semiconductor wafer fabrication based on fuzzy Petri nets-reasoning," Acta Electronica Sinica, vol. 7, no. p. 011, 2011.
[54] Zhengcai Cao, Yazhen Peng, Yongji Wang, "A drum-buffer-rope based scheduling method for semiconductor manufacturing system," in 2011 IEEE International Conference on Automation Science and Engineering, 2011, pp. 120-5.
[55] 辛博坤, 王永吉, 潘远明, 徐帆江, "Kaffe在龙芯2E上的移植," 计算机工程与设计, vol. 31, no. 2, pp. 330-334, 2010.
[56] 吴湖, 王永吉, 王哲, 王秀利, 杜栓柱, "两阶段联合聚类协同过滤算法," 软件学报, vol. 21, no. 5, pp. 1042-1054, 2010.
[57] 王永吉, 吴敬征, 曾海涛, 丁丽萍, 廖晓锋, "隐蔽信道研究," 软件学报, vol. 21, no. 9, pp. 2262-2288, 2010.
[58] Jingzheng Wu, Yongji Wang, Liping Ding, Yanping Zhang, "Constructing scenario of event-flag covert channel in secure operating system," in 2nd International Conference on Information and Multimedia Technology (ICIMT), Hongkong, 2010, pp. 371-375.
[59] Zhe Wang, Yongji Wang, Hu Wu, "Tags meet ratings: Improving collaborative filtering with tag-based neighborhood method," in Proceedings of the Workshop on Social Recommender Systems at IUI 2010, 2010.
[60] Yongji Wang, Xiuqing Wang, "Frequency Response Bounds for a d.c. Motor Driven System by Considering the Inequalities Constraints," in Proceedings of the 2010 International Conference on Intelligent Computation Technology and Automation, 2010, pp. 351-3.
[61] Xiuli Wang, Yongji Wang, "A robust AQM controller design for various delay networks," in 2010 29th Chinese Control Conference, 2010, pp. 6043-6.
[62] Nasro Min-Allah, Ishtiaq Ali, Jiansheng Xing, Yongji Wang, "Utilization bound for periodic task set with composite deadline," Computers & Electrical Engineering, vol. 36, no. 6, pp. 1101-1109, Nov 2010.
[63] Xiaofeng Liao, Yongji Wang, Liping Ding, "Discovering Temporal Patterns from Images using Extended PLSA," in 2010 International Conference on Multimedia Technology, 2010, pp. 7 pp.-7 pp.
[64] Liping Ding, Jian Gu, Yongji Wang, Jingzheng Wu, "Analysis of Telephone Call Detail Records Based on Fuzzy Decision Tree," in Third International ICST Conference on Forensics in Telecommunications, Information, and Multimedia, Shanghai, China, 2010, pp. 301-311.
[65] 张瞫, 王永吉, 阮利, "一种个体软件过程能力度量方法," 软件学报, vol. 20, no. 12, pp. 3137-3149, 2009.
[66] 张凡, 袁峰, 王永吉, "基于工作流的J2EE遗留系统改造," 计算机应用, vol. 29, no. 7, pp. 1760-1763, 2009.
[67] 肖贺, 王永吉, 潘远明, 丁丽萍, "采用基本块规约的控制流检测性能优化方法," 小型微型计算机系统, vol. 30, no. 12, pp. 2378-2382, 2009.
[68] 陶秋铭, 赵琛, 王永吉, "一种基于过程图模型的编译优化测试程序自动生成方法," 计算机研究与发展, vol. 46, no. 9, pp. 1567-1577, 2009.
[69] 阮利, 王永吉, 王青, 曾海涛, "基于数据包络分析的软件任务性能基准评价," 软件学报, vol. 20, no. 6, pp. 1499-1510, 2009.
[70] 曾海涛, 王永吉, 祖伟, 蔡嘉勇, 阮利, "短消息指标新定义及在事务信道限制中的应用," 软件学报, vol. 20, no. 4, pp. 985-996, 2009.
[71] Lizi Xie, Qing Wang, Junchao Xiao, Yongji Wang, Ye Yang, "PP-HAS: A Task Priority Based Preemptive Human Resource Scheduling Method," in Proceedings 21st International Conference on Software Engineering & Knowledge Engineering, 2009, pp. 655-60.
[72] Hu Wu, Yongji Wang, "Incremental Learning of Triadic PLSA for Collaborative Filtering," in Active Media Technology. Proceedings 5th International Conference, AMT 2009, 2009, pp. 81-92.
[73] Xiuqing Wang, Zengguang Hou, Min Tan, Yongji Wang, Liwei Hu, "The wall-following controller for the mobile robot using spiking neurons," in Proceedings of the 2009 International Conference on Artificial Intelligence and Computational Intelligence, 2009, pp. 194-9.
[74] 周辉, 李丹, 王永吉, "可用带宽度量系统中的若干基本问题研究," 软件学报, vol. 19, no. 5, pp. 1234-1255, 2008.
[75] 周博文, 丁丽萍, 王永吉, "面向入侵的取证系统框架," 计算机应用研究, vol. 25, no. 4, pp. 1117-1119, 2008.
[76] 岳峰, 孙亮, 王宽全, 王永吉, 左旺孟, "利用构建语义词典的查询自动分类方法," 哈尔滨工业大学学报, vol. 40, no. 7, pp. 1094-1098, 2008.
[77] 岳峰, 孙亮, 王宽全, 王永吉, 左旺孟, "基因表达数据的聚类分析研究进展," 自动化学报, vol. 34, no. 2, pp. 113-120, 2008.
[78] 余文卫, 王永吉, "基于Snort规则库的冲突检测," 计算机工程与设计, vol. 29, no. 3, pp. 576-579,624, 2008.
[79] 王斌, 王永吉, 王秀利, "医院制剂生产管理系统的设计与实现," 生物医学工程与临床, vol. 12, no. 4, pp. 338-341, 2008.
[80] 曾海涛, 王永吉, 阮利, 祖伟, 蔡嘉勇, "使用容量指标的安全实时数据库信道限制方法," 通信学报, vol. 29, no. 8, pp. 46-56, 2008.
[81] Shen Zhang, Yongji Wang, Ye Yang, Junchao Xiao, "Capability assessment of individual software development processes using software repositories and DEA," in Making Globally Distributed Software Development a Success Story. International Conference on Software Process, ICSP 2008, 2008, pp. 147-59.
[82] Shen Zhang, Yongji Wang, Junchao Xiao, "Mining individual performance indicators in collaborative development using software repositories," in 2008 15th Asia-Pacific Software Engineering Conference, 2008, pp. 247-54.
[83] Jian Zhang, Wenhui Zhang, Naijun Zhan, Yidong Shen, Haiming Chen, Yunquan Zhang, Yongji Wang, Enhua Wu, Hongan Wang, Xueyang Zhu, "Basic research in computer science and software engineering at SKLCS," Frontiers of Computer Science in China, vol. 2, no. 1, pp. 1-11, March 2008.
[84] Ye Yang, Yongji Wang, Shuanghua Yang, "Design of a networked control system with random transmission delay and uncertain process parameters," International Journal of Systems Science, vol. 39, no. 11, pp. 1065-74, Nov. 2008.
[85] Hu Wu, Yongji Wang, Xiang Cheng, "Incremental probabilistic latent semantic analysis for automatic question recommendation," in Proceedings of the 2008 ACM conference on Recommender systems, 2008, pp. 99-106.
[86] Xiuqing Wang, Zengguang Hou, Min Tan, Yongji Wang, Xinian Wang, "Corridor-scene classification for mobile robot using spiking neurons," in 2008 Fourth International Conference on Natural Computation, 2008, pp. 125-9.
[87] Muhammad Wasif Nisar, Yongji Wang, Muhammad Adnan Elahi, "Software development effort estimation using fuzzy logic-A survey," in Fuzzy Systems and Knowledge Discovery, 2008. FSKD'08. Fifth International Conference on, 2008, pp. 421-427.
[88] Nasro Min-Allah, Manzoor Elahi, Jiansheng Xing, Yongji Wang, "Enhancing feasibility analysis of IEEE 802.5 Token Ring," in Wireless and Optical Communications Networks, 2008. WOCN'08. 5th IFIP International Conference on, 2008, pp. 1-5.
[89] 余方, 李娟, 王晓程, 王永吉, "功能点分析方法研究," 计算机科学, vol. 34, no. 11, pp. 245-251, 2007.
[90] 邢建生, 王永吉, 刘军祥, 曾海涛, NASRO Min-Allah, "一种静态最少优先级分配算法," 软件学报, vol. 18, no. 7, pp. 1844-1854, 2007.
[91] 王秀利, 王永吉, 周辉, 蔡开元, "基于D稳定域和ITAE准则的主动队列管理算法," 软件学报, vol. 18, no. 12, pp. 3092-3103, 2007.
[92] 王斌, 唐旭东, 王永吉, 王秀利, "中药处方配伍监控系统的设计与实现," 计算机工程与设计, vol. 28, no. 4, pp. 946-949,981, 2007.
[93] 童杰, 王永吉, 张曋, "VCSTalk:基于DEA的开源软件开发人员效率评价工具," 计算机应用研究, vol. 24, no. 4, pp. 54-57, 2007.
[94] 孙亮, 赵芳, 王永吉, "DENGENE:一种高精度的基于密度的适用于基因表达数据的聚类算法," 计算机应用研究, vol. 24, no. 4, pp. 58-61, 2007.
[95] 丁丽萍, 周博文, 王永吉, "基于安全操作系统的电子证据获取与存储," 软件学报, vol. 18, no. 7, pp. 1715-1729, 2007.
[96] Hui Zhou, Yongji Wang, "RichMap: combining the techniques of bandwidth estimation and topology discovery," Journal of Internet Engineering, vol. 1, no. 2, 2007.
[97] Shen Zhang, Yongji Wang, Feng Yuan, Li Ruan, "Mining software repositories to understand the performance of individual developers," in COMPSAC 2007. 2007 31st Annual International Computer Software and Applications Conference, 2007, pp. 567-8.
[98] Hu Wu, Yongji Wang, Xiaoyong Huai, "AttributeNets: an incremental learning method for interpretable classification," in Advances in Knowledge Discovery and Data Mining. 11th Pacific-Asia Conference, PAKDD 2007. Proceedings, 2007, pp. 940-7.
[99] Xiuli Wang, Yongji Wang, Hui Zhou, "Optimal design of AQM routers with D-stable regions based on ITAE performance," in 2006 First International Conference on Communications and Electronics, 2007, pp. 6 pp.-6 pp.
[100] Liang Sun, Fang Zhao, Yongji Wang, "DENCH: A Density-based Hierarchical Clustering Algorithm for Gene Expression Data," Chinese Journal of Electronics, vol. 16, no. 1, pp. 24-29, 2007.
[101] Li Ruan, Yongji Wang, Qing Wang, Mingshu Li, Yun Yang, Lizi Xie, Dapeng Liu, Haitao Zeng, Shen Zhang, Junchao Xiao, Lei Zhang, M. W. Nisar, Jian Dai, "Empirical study on benchmarking software development tasks," in Software Process Dynamics and Agility. International Conference on Software Process, ICSP 2007. Proceedings, 2007, pp. 221-32.
[102] Nasro Min-allah, Yongji Wang, Jiansheng Xing, Wasif Nisar, Asad-raza Kazmi, "Towards dynamic voltage scaling in real-time systems-a survey," IJCSES, vol. 1, no. 2, p. 94, 2007.
[103] Nasro Min-Allah, Yongji Wang, Jiansheng Xing, Junxiang Liu, "Revisiting fixed priority techniques," in International Conference on Embedded and Ubiquitous Computing, Taipei, Taiwan, 2007, pp. 134-145.
[104] Nasro Min-Allah, Asad-Raza Kazmi, Ishtiaq Ali, Jiansheng Xing, Yongji Wang, "Minimizing response time implication in dvs scheduling for low power embedded systems," in Proceedings of the 4th International Conference on Innovations in Information Technology, 2007, pp. 347-351.
[105] Nasro Min-Allah, Imran Ali, Jiansheng Xing, Yongji Wang, "Online Feasibility Analysis with Composite-Deadline," in Innovations in Information Technology, 2007. IIT'07. 4th International Conference on, 2007, pp. 357-361.
[106] Chengyu Hu, Xiangning Wu, Qingzhong Liang, Yongji Wang, "Autonomous robot path planning based on swarm intelligence and stream functions," in 7th International Conference on Evolvable Systems: From Biology to Hardware, Wuhan, China, 2007, pp. 277-284.
[107] MP Cartmell, DIM Forehand, MC D'arrigo, DJ Mckenzie, Yongji Wang, AV Metrikine, "Approximate analytical solution for a motorised momentum exchange tether on a circular Earth orbit," Russian Academy of Sciences, St.Petersburg, Russia25 June -1 July 2007.
[108] 薛云志, 陈伟, 王永吉, 赵琛, 王青, "一种基于Messy GA的结构测试数据自动生成方法," 软件学报, vol. 17, no. 8, pp. 1688-1697, 2006.
[109] 童杰, 王永吉, "基因电路研究综述," 小型微型计算机系统, vol. 27, no. 6, pp. 1129-1133, 2006.
[110] 刘军祥, 王永吉, 王源, 邢建生, 曾海涛, "基于逻辑"或"约束优化的实时系统设计," 软件学报, vol. 17, no. 7, pp. 1641-1649, 2006.
[111] 陈秋萍, 吴立国, 王永吉, "基于JSF的网格门户设计与实现," 计算机工程与设计, vol. 27, no. 19, pp. 3511-3514, 2006.
[112] Hui Zhou, Yongji Wang, Xiuli Wang, Xiaoyong Huai, "Difficulties in estimating available bandwidth," in Communications, 2006. ICC'06. IEEE International Conference on, 2006, pp. 704-709.
[113] Shen Zhang, Yongji Wang, Jie Tong, Jinhui Zhou, Li Ruan, "Evaluation of project quality: a DEA-based approach," in Software Process Change. International Software Process Workshop and International Workshop on Software Process Simulation and Modeling, SPW/ProSim 2006. Proceedings, 2006, pp. 88-96.
[114] Xiuli Wang, Yongji Wang, Hui Zhou, Xiaoyong Huai, "PSO-PID: a novel controller for AQM routers," in 2006 IFIP International Conference on Wireless and Optical Communications Networks, 2006, pp. 5 pp.-5 pp.
[115] Xiuli Wang, Yongji Wang, Hui Zhou, "QSCM: engineering QoS in Web-based software configuration management system," in 2006 IEEE/WIC/ACM International Conference on Web Intelligence, 2006, pp. 4 pp.-4 pp.
[116] Xiuli Wang, Yongji Wang, Haitao Zeng, Hui Zhou, "Particle swarm optimization with escape velocity," in Computational Intelligence and Security, 2006 International Conference on, 2006, pp. 457-460.
[117] Qing Wang, Nan Jiang, Lang Gou, Xia Liu, Mingshu Li, Yongji Wang, "BSR: a statistic-based approach for establishing and refining software process performance baseline," in 28th International Conference on Software Engineering Proceedings, 2006, pp. 585-94.
[118] Li Ruan, Yongji Wang, Qing Wang, Fengdi Shu, Haitao Zeng, Shen Zhang, "ARIMAmmse: an improved ARIMA-based software productivity prediction method," in 30th Annual International Computer Software and Applications Conference, 2006, pp. 4 pp.-4 pp.
[119] 赵万磊, 王永吉, 张学杰, 李娟, "一种优化初始中心点的K平均文本聚类算法," 计算机应用, vol. 25, no. 9, pp. 2037-2040, 2005.
[120] 邢建生, 刘军祥, 王永吉, "RM及其扩展可调度性判定算法性能分析," 计算机研究与发展, vol. 42, no. 11, pp. 2025-2032, 2005.
[121] 王晓曦, 王永吉, 周津慧, 王秀利, "基于改进网络模型的大时滞网络拥塞控制算法," 电子学报, vol. 33, no. 5, pp. 842-846, 2005.
[122] 刘军祥, 王永吉, Matthew Cartmell, "一种改进的RM可调度性判定算法," 软件学报, vol. 16, no. 1, pp. 89-100, 2005.
[123] 赫然, 王永吉, 王青, 周津慧, 胡陈勇, "一种改进的自适应逃逸微粒群算法及实验分析," 软件学报, vol. 16, no. 12, pp. 2036-2044, 2005.
[124] 丁丽萍, 王永吉, "计算机取证研究综述," 计算机和通讯, vol. 2, no. 8, pp. 1-9, 2005.
[125] 丁丽萍, 王永吉, "基于网络数据流的计算机取证技术," 信息网络安全, vol. 54, no. pp. 75-76, 2005.
[126] 丁丽萍, 王永吉, "论计算机取证的原则和步骤," 中国人民公安大学学报(自然科学版), vol. 1, no. pp. 70-73, 2005.
[127] 丁丽萍, 王永吉, "计算机取证的技术方法及工具研究," 信息安全与通信保密, no. 8, pp. 60-63, 2005.
[128] 丁丽萍, 王永吉, "多维计算机取证模型研究," 计算机安全, no. 11, pp. 5-9, 2005.
[129] 丁丽萍, 王永吉, "计算机取证的相关法律技术问题研究," 软件学报, vol. 16, no. 2, pp. 260-275, 2005.
[130] Hui Zhou, Yongji Wang, Qing Wang, "Measuring internet bottlenecks: location, capacity, and available bandwidth," in Data and Applications Security XIX. 19th Annual IFIP WG 11.3 Working Conference on Data and Applications Security. Proceedings, 2005, pp. 1052-62.
[131] Yongji Wang, M. Cartmell, Qiuming Tao, Han Liu, "A generalized real-time obstacle avoidance method without the cspace calculation," Journal of Computer Science and Technology, vol. 20, no. 6, pp. 774-787, Nov 2005.
[132] Nasro Min-Allah, S. U. Khan, Yongji Wang, J.  Kolodziej, N.  Ghani, "Determining the Optimal Task Execution Times for Periodic Tasks Using Nonlinear Constrained Optimization," in Scalable Computing and Communications: Theory and Practice, S. U. K. L. W. a. A. Y. Zomaya, Ed., ed: John Wiley & Sons, Hoboken, NJ, USA, 2005.
[133] Chenyong Hu, Benyu Zhang, Yongji Wang, Shuicheng Yan, Zheng Chen, Qing Wang, Qiang Yang, "Learning quantifiable associations via principal sparse non-negative matrix factorization," Intelligent Data Analysis, vol. 9, no. 6, pp. 603-20, 2005 2005.
[134] Chenyong Hu, Yongji Wang, Benyu Zhang, Qiang Yang, Qing Wang, Jinhui Zhou, Ran He, Yun Yan, "Mining quantitative associations in large database," in Web Technologies Research and Development APWeb 2005. 7th Asia-Pacific Web Conference. Proceedings, 2005, pp. 405-16.
[135] Liping Ding, Qiusong Yang, Liang Sun, Jie Tong, Yongji Wang, "Evaluation of the capability of personal software process based on data envelopment analysis," in Unifying the Software Process Spectrum. International Software Process Workshop, SPW 2005. Revised Selected Papers, 2005, pp. 235-48.
[136] 王永吉, 陈秋萍, "单调速率及其扩展算法的可调度性判定," 软件学报, vol. 15, no. 6, pp. 799-814, 2004.
[137] 王秀利, 王永吉, "一种开放源代码的网络仿真器的原理与实现," 计算机工程与应用, vol. 40, no. 15, pp. 137-140,147, 2004.
[138] 王晓曦, 王秀利, 周津慧, 王永吉, "NS2网络仿真器功能扩展方法及实现," 小型微型计算机系统, vol. 25, no. 6, pp. 1009-1014, 2004.
[139] Yongji Wang, Xiuli Wang, Jinhui Zhou, Xiaoxi Wang, "Congestion control of AQM routers by an improved PID controller," in Communication Systems, Networks and Digital Signal Processing. CSNDSP 2004. Fourth International Symposium, 2004, pp. 322-5.
[140] Yongji Wang, Han Liu, Qiuming Tao, "A realistic method for real-time obstacle avoidance without the Calculation of Cspace Obstacles," in Journal of Robotica, 2004.
[141] Yongji Wang, Han Liu, Mingshu Li, Qing Wang, Jinhui Zhou, M. P. Cartmell, "A real-time path planning approach without the computation of Cspace obstacles," Robotica, vol. 22, no. 2, pp. 173-187, March-April 2004.
[142] E Mouterde, MP Cartmell, Yongji Wang, "Computational simulation of feedback linearised control of a motorised momentum exchange tether on a circular earth orbit," in by invited paper for Keynote Address in the Computational Methods in Nonlinear Dynamics, Symposium of the sixth World Congress on Computational Mechanics, Beijing, China, 2004, pp. 498-505.
[143] Han Liu, Xiaolin Yang, Ji Zhang, Yongji Wang, "Generalized semi-infinite optimization and its application in robotics' path planning problem," in International Conference on Artificial Intelligence (IC-AI), Las Vegas, NV, USA, 2004, pp. 1147-1153.
[144] Han Liu, Qianying Tan, Yongji Wang, "A robot path planning approach based on generalized semi-infinite optimization," in Robotics, Automation and Mechatronics, 2004 IEEE Conference on, 2004, pp. 768-773.
[145] Wenjie Li, Mingshu Li, Qing Wang, Yongji Wang, "VICOS: a framework for session management in network computing infrastructure," in Proceedings. 2004 IEEE International Conference on Services Computing, 2004, pp. 647-50.
[146] K.  Hunt, Wang Yongji, M.  Schinkel, T.  Schmitt-Hartmann, "Controller design for hybrid systems using simultaneous D-stabilisation technique and its application to Anti-lock Braking systems (ABS)," in Nonlinear and Hybrid Systems in Automotive Control, R. J. A. Rantzer, Ed., ed: Springer-Verlag, London, 2003.
[147] Yongji Wang, M. Schinkel, T. Schmitt-Hartmann, K. J. Hunt, "PID and PID-like controller design by pole assignment within D-stable regions," Asian Journal of Control, vol. 4, no. 4, pp. 423-32, Dec. 2002.
[148] M. Schinkel, Yongji Wang, K. Hunt, "Control of uncertain and parameter-variant piecewise linear systems," International Journal of Control, vol. 75, no. 16-17, pp. 1368-1375, Nov 2002.
[149] Yongji Wang, T Schmitt-Hartmann, M Schinkel, KJ Hunt, "A new approach to simultaneous stabilisation with D stability and its application to control of antilock braking systems," in Proceedings of the International Mechanical Engineering Congress and Exposition, Anaheim, 2001, pp. 729-735.
[150] Yongji Wang, M Schinkel, KJ Hunt, "An engineering approach to the simultaneous stabilisation and strong simultaneous stabilisation with D stability," in Decision and Control, 2001. Proceedings of the 40th IEEE Conference on, 2001, pp. 2167-2172.
[151] Yvan Petillot, Ioseba Tena Ruiz, David M Lane, "Underwater vehicle obstacle avoidance and path planning using a multi-beam forward looking sonar," Journal of Oceanic Engineering, vol. 26, no. 2, pp. 240-251, 2001.
[152] Yongji Wang, D. M. Lane, G. J. Falconer, "Two novel approaches for unmanned underwater vehicle path planning: constrained optimisation and semi-infinite constrained optimisation," Robotica, vol. 18, no. pp. 123-42, March-April 2000.
[153] Yongji Wang, D. M. Lane, "Solving a generalized constrained optimization problem with both logic AND and OR relationships by a mathematical transformation and its application to robot motion planning," IEEE Transactions on Systems, Man and Cybernetics, Part C (Applications and Reviews), vol. 30, no. 4, pp. 525-36, Nov. 2000.
[154] Yongji Wang, KJ Hunt, "The calculation of stability radius with D stability region and nonlinear coefficients," in Proceedings of 3rd IFAC Symposium on Robust Control Design, Czech Republic, 2000, pp. 240-246.
[155] Michael Schinkel, Yongji Wang, Ken Hunt, "Stable and robust state feedback design for hybrid systems," in American Control Conference, 2000. Proceedings of the 2000, 2000, pp. 215-219.
[156] Yongji Wang, Kaiyuan Cai, "On a driving hazard problem," The Mathematical Gazette, vol. 83, no. 497, pp. 226-236, 1999.
[157] Yongji Wang, D. M. Lane, "A new robot path planning approach using constrained optimization with both logic AND and OR constraints," in Chinese Automation Conference in the UK, Leicester, England, 1998, pp. 191-197.
[158] Yongji Wang, DM Lane, "Path planning for underwater vehicles using constrained optimisation," in Oceanology International Conference 1998, Brighton, 1998, pp. 175-186.
[159] Yongji Wang, M. P. Cartmell, "Autonomous vehicle parallel parking design using function fitting approaches," Robotica, vol. 16, no. pp. 159-70, March-April 1998.
[160] Yongji Wang, M. P. Cartmell, "Trajectory generation for a four wheel steering tractor-trailer system: a two-step method," Robotica, vol. 16, no. 4, pp. 381-6, July-Aug. 1998.
[161] Yongji Wang, MP Cartmell, "New model for passing sight distance on two-lane highways," Journal of transportation engineering, vol. 124, no. 6, pp. 536-545, 1998.
[162] Y Petillot, DM Lane, Yongji Wang, E Trucco, N Pican, "Underwater vehicle path planning using a multi-beam forward looking sonar," in OCEANS'98 Conference Proceedings, 1998, pp. 1194-1199.
[163] Yongji Wang, S. Z. Li, "How to move a mobile robot around a corner," in International Conf. on Mechanical Transmissions & Mechanisms, Tianjin, China, 1997, pp. 912-916.
[164] Yongji Wang, DM Lane, "Subsea vehicle path planning using nonlinear programming and constructive solid geometry," IEE Proceedings in Control Theory and Applications, 1997, pp. 143-152.
[165] Yongji Wang, "A note on "Solving the find-path problem by good representation of free space"," IEEE Transactions on Systems, Man and Cybernetics, Part B (Cybernetics), vol. 27, no. 4, pp. 723-4, Aug. 1997.
[166] D. M.  Lane, J. B. C.  Davies, G.  Robinson, D. J.  O'Brien, M.  Pickett, D.  Jones, Yongji  Wang, G.  Casalino, G.  Bartolini, G.  Cannata, A.  Ferrara, D.  Angelleti, M.  Coccoli, G.  Veruggio, R.  Bono, P.  Virgili, G.  Bruzzone, M.  Canals, R.  Pallas, E.  Gracia, C.  Smith, "AMADEUS: Advanced Manipulator for Deep Underwater Sampling," in IEEE international conference on Robotics and Automation, Albuquerque, New Mexico, USA, 1997.
[167] M. P.  Cartmell, Yongji Wang, "An overtaking model and the determination of safe passing sight distance for cars and trucks," in 30th International Symposium on Automotive Technology and Automation (ISATA), Florence, Italy, 1997, pp. 207-214.
[168] Yongji Wang, J. A. Linnett, J. W. Roberts, "A unified approach to inverse and direct kinematics for four kinds of wheeled mobile robots and its applications," in Proceedings. 1996 IEEE International Conference on Robotics and Automation, 1996, pp. 3458-65 vol.4.
[169] Yongji Wang, "Nonholonomic motion planning: a polynomial fitting approach," in Proceedings. 1996 IEEE International Conference on Robotics and Automation, 1996, pp. 2956-61 vol.4.
[170] Yongji Wang, JA Linnett, "Vehicle kinematics and its application to highway design," Journal of transportation engineering, vol. 121, no. 1, pp. 63-74, 1995.
[171] Yongji Wang, "Kinematics, motion analysis and path planning for four kinds of wheeled mobile robots," University of Edinburgh, 1995.
[172] Yongji Wang, JA Linnett, JW Roberts, "Motion feasibility of a wheeled vehicle with a steering angle limit," Robotica, vol. 12, no. 03, pp. 217-226, 1994.
[173] Yongji Wang, JA Linnett, J Roberts, "Kinematics, kinematic constraints and path planning for wheeled mobile robots," Robotica, vol. 12, no. 05, pp. 391-400, 1994.
[174] Yongji Wang, J. A.  Linnett, "On the maneuvering problems of wheeled vehicles," in First Conference of the Chinese Society of Electrical and Electronic Engineering in the United Kingdom, 1993, pp. 34-40.
[175] Yongji Wang, Changnian Liu, "The optimization of design parameters in the electro-hydraulic servo systems," Construction Machinery and equipment, vol. 20, no. 8, pp. 24-30, 1989.
[176] Arlene Cole, John E Hauser, S Shankar Sastry, "Kinematics and control of multifingered hands with rolling contact," Automatic Control, IEEE Transactions on, vol. 34, no. 4, pp. 398-404, 1989.
[177] Yongji Wang, Changnian Liu, "The optimum design of power mechanism with valve-controlled asymmetric cylinder under arbitrary load " Journal of  Machine Tool and Hydraulics  (in Chinese), vol. 23, no. pp. 22-26, 1988.

科研活动

1. 正在承担科研项目情况

(1) 中国科学院、国家外国专家局中心合作项目
  项目名称:安全攸关软件理论和构造方法
  经费来源:中国科学院
  完成情况:正在进行
(2) 国家自然科学基金项目(61170072)
  项目名称:云计算环境下的隐蔽信道机理研究
  经费来源:国家自然科学基金,面上项目
  完成情况:正在进行(2012.1-2015.12)
(3)  国家青年科学基金
  项目名称:智能移动终端隐蔽信道机理研究
  经费来源:国家青年科学基金
  完成情况:正在进行


2. 已完成的项目情况
(1) 项目名称:支持CMMI高程度级别的综合量化评估体系及模型
  项目来源:国家高技术研究发展计划(863计划)
(2) 项目名称:基于过程的软件估算与管理技术
  项目来源:国家高技术研究发展计划(863计划)
(3) 项目名称:高可信网络系统度量、评估、优化关键技术及软件实现研究
  项目来源:国家自然科学基金项目
(4) 项目名称:实时系统任务可调度性分析的优化方法研究及实现 
  项目来源:国家自然科学基金项目
(5) 项目名称:连续优化理论算法在离散实时系统调度算法中的应用 
  项目来源:教育部留学回国人员科研启动项目 
(6) 项目名称:反馈控制实时系统调度理论及其在智能机器人中的应用 
  项目来源:中科院与英国皇家学会国际合作项目
(7) 项目名称:异构混合控制及在汽车工业中的应用 (H2C) 
  项目来源:欧共体重大基础和应用科研项目
(8) 项目名称:深水采样系统的研制与先进操纵方法研究 (AMADEUS) 
  项目来源:欧共体重大基础和应用科研项目
(9) 项目名称:水下智能系统实时操纵与导航 (UNION) 
  项目来源:欧共体重大基础和应用科研项目
(10) 项目名称:实时系统理论及应用
  项目来源:中科院百人计划项目
(11) 项目名称: 基于不等式约束的知识表示推理方法及应用研究
  项目来源:国家重点实验室自主研究课题 
(12) 项目名称: 网络算法与数字信息
  项目来源:中国科学院软件研究所中长期发展规划专项计划 
(13) 项目名称: 面向非常规突发事件主动感知与应急指挥的物联网技术与系统
  项目来源:国家自然科学基金,重大研究计划
(14) 项目名称:情报信息检索系统研究   
  项目来源:总装备部
(15) 项目名称:面向访问验证保护级的安全操作系统原型系统研发
  项目来源:中科院知识创新工程项目(No.KGCX2-YW-125)
(16) 项目名称:方德高可信服务器操作系统关键技术研究
  项目来源:“核高基”基础软件重大专项(2010ZX01036-001-002-2)


参与会议
Network and Distributed System Security
ACM SIGSAC Conference on Computer and Communications Security
IEEE International Conference on Software Security and Reliability Companion
IEEE Annual Computer Software and Applications Conference
IEEE International Conference on Cloud Computing
International Conference on Parallel and Distributed Computing
IEEE International Conference on Automation Science and Engineering
International Conference on Information and Multimedia Technology
International Conference on Software Engineering & Knowledge Engineering
International Conference on Artificial Intelligence and Computational Intelligence
ACM conference on Recommender systems
International Conference on Communications and Electronics
International Conference on Innovations in Information Technology
IEEE/WIC/ACM International Conference on Web Intelligence
International Conference on Artificial Intelligence (IC-AI)

招生信息

   
招生专业
081202-计算机软件与理论
招生方向
云计算,物联网,虚拟化技术,隐蔽信道,数据挖掘,智能软件工程
图像处理,网络技术,传感器网络,实时系统,人工智能

合作情况

   
项目协作单位
英国爱丁堡大学(University of Edinburgh)
英国格拉斯哥大学(University of Glasgow)
美国北达科他州立大学(North Dakota State University)
巴基斯坦COMSATS Institute of Information Technology
清华大学
北京航空航天大学
北京科技大学
北京农业大学
北京化工大学
河北师范大学
天津工业大学

指导学生

已指导学生

周辉  博士研究生  081202-计算机软件与理论  

曾海涛  博士研究生  081202-计算机软件与理论  

王秀利  博士研究生  081202-计算机软件与理论  

邢建生  博士研究生  081202-计算机软件与理论  

刘军祥  博士研究生  081202-计算机软件与理论  

阮利  博士研究生  081202-计算机软件与理论  

丁丽萍  博士研究生  081202-计算机软件与理论  

童杰  硕士研究生  081202-计算机软件与理论  

余方  硕士研究生  081202-计算机软件与理论  

孙亮  硕士研究生  081202-计算机软件与理论  

陈秋萍  硕士研究生  081202-计算机软件与理论  

张瞫  博士研究生  081202-计算机软件与理论  

肖贺  硕士研究生  081203-计算机应用技术  

吴湖  博士研究生  081202-计算机软件与理论  

辛博坤  硕士研究生  081202-计算机软件与理论  

张凡  硕士研究生  081202-计算机软件与理论  

王哲  硕士研究生  081202-计算机软件与理论  

贾浩  硕士研究生  081202-计算机软件与理论  

苏峰  硕士研究生  081202-计算机软件与理论  

李效云  硕士研究生  081202-计算机软件与理论  

万鹏  硕士研究生  081202-计算机软件与理论  

解浪  硕士研究生  081202-计算机软件与理论  

廖晓锋  博士研究生  081202-计算机软件与理论  

吴敬征  博士研究生  081202-计算机软件与理论  

文涛  硕士研究生  081202-计算机软件与理论  

贺喜  硕士研究生  081202-计算机软件与理论  

李可  硕士研究生  081202-计算机软件与理论  

关贝  博士研究生  081202-计算机软件与理论  

韩旭  硕士研究生  081202-计算机软件与理论  

王晓龙  硕士研究生  081202-计算机软件与理论  

徐可欣  硕士研究生  081202-计算机软件与理论  

魏兰  硕士研究生  081202-计算机软件与理论  

现指导学生

林渝淇  博士研究生  081202-计算机软件与理论  

余海  硕士研究生  083500-软件工程  

王翀  硕士研究生  081202-计算机软件与理论  

陈力  博士研究生  081202-计算机软件与理论  

王培霞  博士研究生  081202-计算机软件与理论  

张艺品  硕士研究生  083500-软件工程  

游逸  硕士研究生  081202-计算机软件与理论  

吕荫润  博士研究生  081202-计算机软件与理论