姜宇
姜宇的博士论文《面向异构嵌入式系统的形式计算模型研究》提出了严格的异构嵌入式系统形式计算模型,并开发了有效的模型分析、综合工具集，解决了软件与硬件异构，同步与异步异构嵌入式系统的分析验证难等问题。相关技术和研究成果发表在在软件工程方法和嵌入式系统领域的顶级期刊会议TPDS、TC、TIE和FSE 上。攻博期间，曾获“博士生国家奖学金”, “人民网优秀技术课题研究一等奖”等多项荣誉。
培养单位：清华大学，导师：孙家广教授
匿名评论 所有评论仅代表网友意见
返回首页
京公网安备 11010802032778号 京ICP备13000930号-4
所有评论仅代表网友意见