导师介绍

导师姓名
黄林鹏
导师性别男
职务职称教授.
所在院系电子信息与电气工程学院
所属学科计算机科学与技术
研究方向分布式计算可信软件
联系电话34204352
电子邮箱huang-lp@cs.sjtu.edu.cn

个人简介

黄林鹏博士,上海交通大学计算机科学与工程系教授，博士生导师，中国计算机学会高级会员，开放式系统、软件工程、服务计算专业委员会会员，IEEE、ACM会员，长期从事可靠分布式系统的研究，曾获得上海市高校优秀青年教师称号。1994、1997年香港中文大学ResearchAssistant。1999-2000年美国哈佛大学高级访问学者（VisitingFellow）。目前在研课题2012-2015体系结构驱动的可信软件构造方法与技术研究（课题编号91118004）国家自然科学基金重点项目（北京大学，上海交大等），交大方课题负责人2013-2015面向云计算的信息流保障机制（课题编号13ZZ023）上海市教委科技创新重点项目课题负责人2009-2013普适环境下网构软件的服务质量与保护质量及保障机制（2009CB320705）973课题（子课题负责人陈道蓄教授），交大方二级子课题负责人2013-2017基于服务组合的“系统的系统”软件机理与方法国家自然科学基金重点项目（东南大学，上海交大，人民大学），交大方负责人2010-2012普适计算中可信服务构建的形式化分析与验证国家自然科学基金（2010-2012）负责人
代表性论著

1.Jun-QingChen,LinpengHuang:SupportingDynamicServiceUpdatesinPervasiveApplications.COMPSAC2011:273-2782.Jun-QingChen,LinpengHuang,SiqiDu,WenjiaZhou:AFormalModelforSupportingFrameworksofDynamicServiceUpdateBasedonOSGi.APSEC2010:234-2413.Jun-QingChen,LinpengHuang:ATypeSystemforBehaviorConsistentServiceSubstitutioninServiceCompositions.QSIC2010:208-2134.XinWang,LinpengHuang,YiZhang,XiaohuiXu,Jun-QingChen:ASolutionofDataInconsistenciesinDataIntegration-DesignedforPervasiveComputingEnvironment.J.Comput.Sci.Technol.25(3):499-508(2010)5.JiankunWu,LinpengHuang,DejunWang:ASM-basedmodelofdynamicserviceupdateinOSGi.ACMSIGSOFTSoftwareEngineeringNotes33(2):(2008)6.ShiZhang,LinpengHuang:Type-SafeDynamicUpdateTransaction.COMPSAC(2)2007:335-3407.基于OSGI的服务动态演化.软件学报,2008,19(5):1201-1211.8.基于FJ的多版本类动态更新演算.软件学报,2008,19(10):2562-2572.9.事务控制的面向服务系统的动态更新协调.软件学报,2011,(11):2652-266810.JiankunWu,LinpengHuang等:R-OSGi-basedArchitectureofDistributedSmartHomeSystem.IEEETransactionsonConsumerElectronics,54(3):1166-1172,August2008.