软硬件测试和建模,可靠性系统验证,硬件体系结构,嵌入.PDF

简 历  个人概况 姓 名：陈铭松 性 别：男 职 称：副教授 单 位：华东师范大学计算机科学与软件工程学院 籍 贯: 江苏 政治面貌：党员  主要研究方向 软硬件测试与建模，可靠性系统验证，硬件体系结构，嵌入式系统，软件工程  教育背景 2006.8-2010.8 佛罗里达大学计算机系，获博士学位 （导师：Prof. Prabhat Mishra, 研究方向，嵌入式系统的建模验证） 2003.9-2006.7 南京大学计算机科学与技术系，获硕士学位 （导师：李宣东教授， 研究方向，软件工程，模型检验） 1999.9-2003.7 南京大学计算机科学与技术系，获学士学位  工作经历 2010.8 - 华东师范大学软件学院 副教授 2007.2 - 2010.7 佛罗里达大学计算机嵌入式系统实验室 助研 2006.8 – 2010.5 佛罗里达大学计算机系 助教 2005.12-2006.1 深圳移动 实习 2005.7-2005.9 趋势科技 实习 2002.9-2006.6 南京大学计算机系软件工程实验室 助研  所获奖励与证书 2013 International Conference on VLSI Design 最佳论文题名 20 10 Design Automation Conference Ph.D. Forum Travel Grant 2009 Design Automation Conference Summer School Travel Grant 2009 International Conference on VLSI Design 最佳论文题名 2008 Design Automation Conference Young Student Support Program Award 2007 佛罗里达大学Achievement Award  主持与参与的项目 主持 国家自然科学基金重大计划项目 “不确定环境下可信国产城轨控制系统 （iCMTCt ）构造关键技术研究” （2015-2016 ） 主持 国家自然科学基金 “基于高阶规约定向测试的异构系统验证研究”（2013-2015 ） 主持 上海教委创新重点项目 “高阶规约驱动的CPS 系统可信构造研究”（2014-2016 ） 主持 教育部博士点基金 （2012-2013 ） 主持 华东师范大学创新基金 （2011-2012 ） 主持 江苏金陵科技集团有限公司 “国内L 及T 应用协议分析及还原” （2015-2017 ） 参与 863 计划 “面向信息-物理融合的系统平台” (骨干成员，已结题) 参与 美国国家自然科学基金 “异构多核架构的功能验证”(骨干成员，已结题) 参与 Intel 资助研究项目 “基于SystemC TLM 的SoC 验证” (骨干成员，已结题) 参与 中国国家自然科学基金“实时系统可靠性的测试验证” ( 已结题) 参与 中国国家自然科学基金“并发时间自动机检验算法中的空间压缩技术” ( 已结题) 参与 863 计划“基于MDA 的UML 模型转换技术以及支撑工具的研究” ( 已结题)  所教课程 研究生课程 （华师大） 信息物理融合系统理论与时间 2011 秋，2012 秋，2013 秋，2014 秋 计算机体系结构 2013 秋，2014 秋，2015 秋 本科课程 （华师大） 自动机理论 2015 秋 并发程序语言设计 2013 春，2014 春，2015 春，2015 秋 软件质量保证 2013 秋 专业英语 2011 秋，2012 春，2012 秋 本科生、研究生课程（佛罗里达大学） CDA5725 数据库管理系统 2008