导师姓名
方菱
性别
女
职称
副研究员
专业名称
计算机应用技术
导师类别
□博导R硕导
所在单元
嵌入式软件技术研究中心
是否兼职
□是R否
招生专业
□物理化学（含化学物理）□生物化学与分子生物学□信号与信息处理□模式识别与智能系统R计算机应用技术□材料工程□电子与通信工程□控制工程□计算机技术□生物工程
研究方向
编译原理，形式化方法
在研课题
个人简历
2010获日本东京工业大学数理计算科学理学博士学位。博士论文获2011年日本信息处理学会的优秀博士论文奖。
在东京工业大学期间，参加日本文部科学省的重点项目“GlobalCOE:基础计算科学”，是日本超级计算中心TSUBAME的研究组成员。在日本产业技术综合研究所工作期间，参加日本政府的国家级重大科研项目“车载嵌入式实时操作系统的验证”，另外也负责和大型企业的合作，在嵌入式系统的形式化开发和验证，以及超级计算机的软件分析应用领域有着丰富的经验。
现任中国科学院深圳先进技术研究院副研究员、硕士研究生导师。中国科学院深圳先进技术研究院嵌入式软件系统研究中心成员。
主要科研成果及所获荣誉
在近几年的科研工作中共发表论文9篇。
曾为以下项目的主要课题负责人：日本大型企业共同研究课题“医疗设备系统的正确性验证”；日本国家自然科学基金项目“车载嵌入式实时操作系统的验证”；日本国家级项目“编译器COINS的优化器的形式化验证”。
其他
联系方式
邮箱
ling.fang@siat.ac.cn
电话
个人主页
备注
-----------------------------------------------------------------
Name
LingFang
Positions
Academictitle
Associateprofessor
E-mail
ling.fang@siat.ac.cn
Phone
PersonalWebsite
Resume
Dr.FangreceivedherPhDdegreefromTokyoInstituteofTechnology,onthestudyof[Formalapproachtoguaranteethecorrectnessofcompileroptimizationusingtemporallogic].SheworkedontheformalverificationatJapanNationalInstituteofAdvancedIndustrialScienceandTechnologyfrom2010to2011.ShecurrentlyactsasaresearcherofCenterforEmbeddedSystemsatSIAT.
Direction
Compiler；Formalmethod
Achievements
Dr.Fanghasbeenpublishedfor9articlesinrecentyears.SheworkedasthemainmemberofJapanNationalprojects:[Verificationofthemedicalequipmentsystem];[Verificationoftheautomobilerealtimeoperatingsystem];[VerificationofCOINScompileroptimization].
Article
1.LingF.,MasatakaS.:基于自动抽出优化前后差分的SSA编译器的优化器的正确性检测,IPSJTransactionsonProgramming,Vol.2,No.4,35-52,Aug.2009.
2.LingF.,MasatakaS.:VerificationofCompilerOptimizationUsingTemporalLogicbyCheckingValueEqualityDifference,8rdInternationalWorkshoponCompilerOptimizationmeetsCompilerVerification(COCV),Vol.8,CD-ROM,Mar.2009.
3.LingF.,MasatakaS.:GeneratingJavaCompilerOptimizersUsingBidirectionalCTL,6rdInternationalWorkshoponCompilerOptimizationMeetsCompilerVerification(COCV),ElectronicNotesinTheoreticalComputerScience,Vol.190,No.4,49-63,Nov.2007.
4.LingF.,MasatakaS.:生成基于双方向CTL的Java优化器,IPSJTransactionsonProgramming,Vol.48,No.SIG10(PRO33),76-89,Jun.2007.
5.LingF.,MasatakaS.:基于自动抽出优化前后差分的SSA编译器的优化器的正确性检测,日本软件科学会大会论文集，第25回，7A-1,CD-ROM,Sep.2008.
6.LingF.,MasatakaS.:生成基于双方向CTL的Java优化器,日本软件科学会大会论文集第23回1B-3,CD-ROM,Sep.2006.
7.LingF.,MasatakaS.:生成基于双方向CTL的Java优化器,ResearchReport,Dept.ofMathematicalandComputingSciences,TokyoInstituteofTechnology,C-230,Nov.2006.
8.LingF.,TakashiK.,NgocT.D.,HitoshiO.:FormalModel-BasedTestforAUTOSARmulticoreRTOS.15rdIEEEInternationalConferenceonSoftwareTesting,VerificationandValidation(ICST),2012.
9.NgocT.D.,TakashiK.,HitoshiO.,LingF.,ShunsukeY.:ATest-caseDesignMethodBasedonFeatureTrees.OfftheBeatenTrack:UnderrepresentedProblemsforProgrammingLanguageResearchers(Co-locatedwithPOPL),2012.
删除或更新信息，请邮件至freekaoyan#163.com(#换成@)
深圳先进技术研究院研究生导师介绍方菱
深圳先进技术研究院 免费考研网/2012-11-04
相关话题/技术 导师
领限时大额优惠券,享本站正版考研考试资料!
优惠券领取后72小时内有效，10万种最新考研考试考证类电子打印资料任你选。涵盖全国500余所院校考研专业课、200多种职业资格考试、1100多种经典教材，产品类型包含电子书、题库、全套资料以及视频，无论您是考研复习、考证刷题，还是考前冲刺等，不同类型的产品可满足您学习上的不同需求。 ...考试优惠券 本站小编 Free壹佰分学习网 2022-09-19深圳先进技术研究院研究生导师介绍胡庆茂
导师姓名胡庆茂性别男职称研究员照片专业名称生物医学工程导师类别√博导□硕导所在单元集成所人机交互研究中心是否兼职□是√否招生专业□物理化学□生物化学与分子生物学√信号与信息处理√模式识别与智能系统√计算机应用技术□材料工程□电子与通信工程□控制工程□计算机技术□生物工程研究方向生物医学图像分析、计算 ...深圳先进技术研究院 深圳先进技术研究院 免费考研网 2012-11-04深圳先进技术研究院研究生导师介绍胡金星
导师姓名胡金星性别男职称副研究员专业名称遥感与地理信息系统导师类别□博导√硕导所在单元数字所空间信息计算与分析研究中心是否兼职□是√否招生专业□物理化学（含化学物理）□生物化学与分子生物学□信号与信息处理□模式识别与智能系统√计算机应用技术□材料工程□电子与通信工程□控制工程□计算机技术□生物工程研 ...深圳先进技术研究院 深圳先进技术研究院 免费考研网 2012-11-04深圳先进技术研究院研究生导师介绍胡超
NameChaoHuPositionsResearchProfessor照片AcademictitleProfessorE-mailchao.hu@siat.ac.cnPhone0755-86392152PersonalWebsitehttp://sourcedb.siat.cas.cn/zw/zj ...深圳先进技术研究院 深圳先进技术研究院 免费考研网 2012-11-04深圳先进技术研究院研究生导师介绍何凯
导师姓名何凯性别男职称副研究员专业名称机械制造及其自动化导师类别□博导■硕导所在单元集成所精密工程研究中心是否兼职□是■否招生专业□物理化学（含化学物理）□生物化学与分子生物学□信号与信息处理■模式识别与智能系统■计算机应用技术□材料工程□电子与通信工程■控制工程□计算机技术□生物工程研究方向冲压技 ...深圳先进技术研究院 深圳先进技术研究院 免费考研网 2012-11-04深圳先进技术研究院研究生导师介绍谷德权
导师姓名谷德权性别男职称中心主任/研究员专业名称计算机应用技术嵌入式软件技术导师类别博导□硕导所在单元嵌入式系统研究中心是否兼职□是否招生专业□物理化学（含化学物理）□生物化学与分子生物学□信号与信息处理□模式识别与智能系统计算机应用技术□材料工程□电子与通 ...深圳先进技术研究院 深圳先进技术研究院 免费考研网 2012-11-04深圳先进技术研究院研究生导师介绍辜嘉
导师姓名辜嘉性别男职称副研究员照片专业名称生物医学工程导师类别√博导□硕导所在单元医工所是否兼职□是√否招生专业□物理化学（含化学物理）□生物化学与分子生物学□信号与信息处理√模式识别与智能系统□计算机应用技术□材料工程□电子与通信工程□控制工程□计算机技术□生物工程研究方向计算机视觉、医学图像、医 ...深圳先进技术研究院 深圳先进技术研究院 免费考研网 2012-11-04深圳先进技术研究院研究生导师介绍龚萍
导师姓名龚萍性别女职称副研究员专业名称物理化学导师类别□博导□硕导所在单元神经工程中心是否兼职□是□否招生专业□物理化学（含化学物理）□生物化学与分子生物学□信号与信息处理□模式识别与智能系统□计算机应用技术□材料工程□电子与通信工程□控制工程□计算机技术□生物工程研究方向分析化学，生物纳米医学在研 ...深圳先进技术研究院 深圳先进技术研究院 免费考研网 2012-11-04深圳先进技术研究院研究生导师介绍付国强
导师姓名付国强性别男职称助理研究员专业名称机器人技术导师类别□博导□硕导所在单元集成所智能仿生中心是否兼职□是□否招生专业□物理化学（含化学物理）□生物化学与分子生物学□信号与信息处理□模式识别与智能系统□计算机应用技术□材料工程□电子与通信工程□控制工程□计算机技术□生物工程研究方向机器人技术在研 ...深圳先进技术研究院 深圳先进技术研究院 免费考研网 2012-11-04深圳先进技术研究院研究生导师介绍李俊杰
导师姓名李俊杰性别男职称助理研究员专业名称计算机应用技术导师类别□博导□硕导所在单元高性能计算中心是否兼职□是□否招生专业□物理化学（含化学物理）□生物化学与分子生物学□信号与信息处理□模式识别与智能系统□计算机应用技术□材料工程□电子与通信工程□控制工程□计算机技术□生物工程研究方向数据挖掘、机器 ...深圳先进技术研究院 深圳先进技术研究院 免费考研网 2012-11-04深圳先进技术研究院研究生导师介绍冯圣中
导师姓名冯圣中性别男职称研究员专业名称计算机科学导师类别√博导□硕导所在单元高性能计算中心是否兼职□是√否招生专业□物理化学（含化学物理）□生物化学与分子生物学□信号与信息处理□模式识别与智能系统√计算机应用技术□材料工程□电子与通信工程□控制工程√计算机技术□生物工程研究方向高性能计算，网格计算， ...深圳先进技术研究院 深圳先进技术研究院 免费考研网 2012-11-04
