2011年3月于东南大学计算机科学与工程学院在职获得博士学位。 曾参加过多项国家和省自然科学基金项目、国防重点预先研究项目、江苏省科技攻关项目以及与Intel、华为等国内外大型IT企业的合作项目。曾在国内外学术杂志和会议上发表论文30余篇,7次获得省部级科技进步奖和教育部提名国家科学技术奖。 曾承担“程序设计语言...
周晓宇先生,是一位出生于1972年的男性,自1998年起在东南大学计算机科学与工程系担任教职,专注于软件领域的教学与研究工作。他的专业领域主要包括软件逆向工程与再工程、程序设计语言以及软件测试。他在科研方面取得了显著成就,曾参与多项国家级和省级自然科学基金项目,如国防重点预先研究项目、江苏省科技...
1998年起在东南大学计算机科学与工程系任教,主要从事软件逆向工程与再工程、程序设计语言、软件测试等方面的教学与科研工作。 曾参加过多项国家和省自然科学基金项目、国防重点预先研究项目、江苏省科技攻关项目以及与Intel、华为等国内外大型IT企业的合作项目,工作涉及程序分析与切片技术研究、白盒测试工具研制、软件性能分...
1972年生。1998年起在东南大学计算机科学与工程系任教,主要从事软件逆向工程与再工程、程序设计语言、软件测试等方面的教学与科研工作。 曾参加过多项国家和省自然科学基金项目、国防重点预先研究项目、江苏省科技攻关项目以及与Intel、华为等国内外大型IT企业的合作项目,工作涉及程序分析与切片技术研究、白盒测试工具研制...
《〈中国共产党章程〉(一)》朗诵东南大学周晓宇同学 2022-11-25 10:51:0201:01 438 所属专辑:喜迎二十大 青春心向党 线上诵读 喜欢下载分享 声音简介 第一条 年满十八岁的中国工人、农民、军人、知识分子和其他社会阶层的先进分子,承认党的纲领和章程,愿意参加党的一个组织并在其中积极工作、执行党的决议和...
周晓宇,周晓宇,男,1972年生。1998年起在东南大学计算机科学与工程系任教,主要从事软件逆向工程与再工程、程序设计语言、软件测试等方面的教学与科研工作。曾参加过多项国家和省自然科学基金项目、国防重点预先研究项目、江苏省科技攻关项目以及与Intel、华为等国内外大型
针对C程序内存使用错误的预防和处理方法分基于静态分析和动态分析两类.静态分析工具研制复杂,目前还没有得到广泛使用的高效工具.动态分析又分为基于目标代码和源代码插桩分析两类.由于缺少完整的语法、语义信息,基于目标代码的分析有时对错误的捕捉、定性不够精确.基于源代码的分析由于其信息的完整可以达到对错误的最精...
周晓宇,男,1972年生。1998年起在东南大学计算机科学与工程系任教,主要从事软件逆向工程与再工程、程序设计语言、软件测试等方面的教学与科研工作。曾参加过多项国家和省自然科学基金项目、国防重点预先研究项目、江苏省科技攻关项目以及与Intel、华为等国内外大型IT企业
1972年生,1998年4月于东南大学计算机科学与工程系获硕士学位并留校任教。2011年3月于东南大学计算机科学与工程学院在职获得博士学位。 目前的主要研究领域为可信软件开发方法,主要研究方向为程序自动生成、基于证明的程序开发、程序验证(报考研究生的同学,可以从裘宗燕老师翻译的专著《从规范出发的程序设计》或《B方法》...