导师姓名
杨绍发
性别
男
职称
副研究员
专业名称
计算机科学/形式化方法
导师类别
R博导□硕导
所在单元
嵌入式软件系统研究中心
是否兼职
□是R否
招生专业
□物理化学（含化学物理）□生物化学与分子生物学□信号与信息处理□模式识别与智能系统R计算机应用技术□材料工程□电子与通信工程□控制工程□计算机技术□生物工程
研究方向
模型检验、分布式系统、混成系统(含离散与连续变量)
在研课题
当前无正式立项课题，正研究分布式混成系统模型检验的算法、FlexRay通讯协议的模型检验
个人简历
1996年于广东奥林匹克学校（数学组）高中毕业后由新加坡教育部与中国教育部联合选派赴新加坡国立大学计算机科学系修读本科课程，享有全额奖学金和生活津贴，但毕业后须在新加坡工作六年。于2000年获一等荣誉学士学位（最高一级）后留系任全职助教，并同时攻读硕士、博士学位。博士导师为国际知名学者P.S.Thiagarajan，曾两度当选欧洲理论计算机科学学会（EATCS）理事会委员。2006年取得博士学位后，获INRIAPostdoctoralFellowship赴法国INRIA做博士后研究两年。INRIA为法国国家信息学与自动化研究院。2008年至2010年于联合国大学国际软件技术研究所（UNU-IIST，联合国直辖，设址于中国澳门）任博士后研究员。2010年10月起就职于中国科学院深圳先进技术研究院。
于2005年至2011年作为核心成员参与法国INRIA、新加坡国立大学、印度Chennai数学科学研究所、印度Chennai数学研究所联合科研项目。于2011年主持一项由法国驻中国大使馆、法国INRIA、法国CNRS和中国科学院深圳先进技术研究院共同资助的中法联合科研工作。
主要科研成果及所获荣誉
主要研究成果发表于本领域最好的国际期刊TheoreticalComputerScience、InformationandComputation，和最好的国际会议ConcurrencyTheory、HybridSystems:ComputationandControl。近期代表性成果包括一类分布式混成系统的模型检验算法[1，3]，和分布式系统的类静态调度算法[2]。
[1]P.S.ThiagarajanandShaofaYang:Modulardiscretetimeapproximationsofdistributedhybridautomata.TheoreticalComputerScience,429:292-304.Elsevier,2012.
[2]PhilippeDarondeau,BlaiseGenest,P.S.Thiagarajan,ShaofaYang:Quasi-staticschedulingofcommunicatingtasks.InformationandComputation208(10):1154-1168.Elsevier,2010.
[3]P.S.Thiagarajan,ShaofaYang:Succinctdiscretetimeapproximationsofdistributedhybridautomata.InProc.oftheInt.WorkshoponHybridSystems;ComputationandControl(HSCC)2010.pp.1-10.ACMPress.
遵循理论计算机科学传统，所有论文以作者姓氏英文拼写为序。主要论著列表可于DBLP数据库以作者名ShaofaYang检索获得。
其他
联系方式
邮箱
sf.yang@siat.ac.cn
电话
0755-86392362
个人主页
备注
-----------------------------------------------------------------
Name
ShaofaYang
Positions
Academictitle
AssociateProfessor
E-mail
sf.yang@siat.ac.cn
Phone
0755-86392362
PersonalWebsite
Resume
UponcompletinghisseniorhighschoolstudyatGuangdongOlympicSchool(MathematicsGroup),YangwasawardedtheScholarshipforUndergraduateStudiesinSingaporejointlybytheMinistryofEducationofSingaporeandthatofChina.ThescholarshipprovidedfulltuitionfeesandlivingallowancesforhisundergraduatestudyintheDepartmentofComputerScience,NationalUniversityofSingapore(NUS),butalsocarriedabondofsix-yearemploymentinSingapore.Yanggraduatedwithabachelordegree(firstclasshonours,highestclass)in2000,andsubsequentlyobtainedmaster’sandPh.D.degreesfromthesamedepartmentin2003and2006,respectively.Heclearedthebondbyworkingatthesamedepartmentasafull-timeteachingassistantfrom2000to2006.PriortohispresentpositionatShenzhenInstituteofAdvancedTechnologysinceOctober2010,heheldpost-doctoralpositionsatINRIA,Rennes,France,andInternationalInstituteofSoftwareTechnology,UnitedNationsUniversity,locatedatMacau,China.
Direction
Modelchecking,distributedsystems,hybrid(discrete-continuous)systems
Achievements
Yang’sresearchresultsappearedinfirst-rateinternationaljournalssuchasTheoreticalComputerScience,InformationandComputation,andtopinternationalconferencessuchasConcurrencyTheory,HybridSystems:ComputationandControl.
Article
PleaserefertoDBLPforalistofmainpublications.Recentpapersare:
[1]P.S.ThiagarajanandShaofaYang:Modulardiscretetimeapproximationsofdistributedhybridautomata.TheoreticalComputerScience,429:292-304.Elsevier,2012.
[2]PhilippeDarondeau,BlaiseGenest,P.S.Thiagarajan,ShaofaYang:Quasi-staticschedulingofcommunicatingtasks.InformationandComputation208(10):1154-1168.Elsevier,2010.
[3]P.S.Thiagarajan,ShaofaYang:Succinctdiscretetimeapproximationsofdistributedhybridautomata.InProc.oftheInt.WorkshoponHybridSystems;ComputationandControl(HSCC)2010.pp.1-10.ACMPress.
Notethattheauthornamesarelistedinalphabeticalorder.
删除或更新信息，请邮件至freekaoyan#163.com(#换成@)
深圳先进技术研究院研究生导师介绍杨绍发
深圳先进技术研究院 免费考研网/2012-11-04
相关话题/技术 导师
领限时大额优惠券,享本站正版考研考试资料!
优惠券领取后72小时内有效，10万种最新考研考试考证类电子打印资料任你选。涵盖全国500余所院校考研专业课、200多种职业资格考试、1100多种经典教材，产品类型包含电子书、题库、全套资料以及视频，无论您是考研复习、考证刷题，还是考前冲刺等，不同类型的产品可满足您学习上的不同需求。 ...考试优惠券 本站小编 Free壹佰分学习网 2022-09-19深圳先进技术研究院研究生导师介绍游璠
导师姓名游璠性别女职称高级工程师专业名称蛋白质工程导师类别□博导■硕导所在单元低成本健康工程中心是否兼职□是■否招生专业□物理化学（含化学物理）■生物化学与分子生物学□信号与信息处理□模式识别与智能系统□计算机应用技术□材料工程□电子与通信工程□控制工程□计算机技术□生物工程研究方向蛋白质工程、抗体 ...深圳先进技术研究院 深圳先进技术研究院 免费考研网 2012-11-04深圳先进技术研究院研究生导师介绍张建伟
导师姓名张建伟性别男职称研究员专业名称计算机应用技术导师类别√博导□硕导所在单元认知技术研究中心是否兼职√是□否招生专业√计算机应用技术研究方向机器人的智能控制、认知学习、自主移动机器人、医用机器人和工业机器人等领域的集成和应用研究在研课题1、下一代自主机器人的关键技术-基于经验的记忆学习，中国科学 ...深圳先进技术研究院 深圳先进技术研究院 免费考研网 2012-11-04深圳先进技术研究院研究生导师介绍张贺晔
导师姓名张贺晔性别男职称副研究员专业名称生物医学工程导师类别硕导所在单元集成所人机交互中心是否兼职否招生专业信号与信息处理；模式识别与智能系统；计算机应用技术；生物医学工程研究方向医学图像处理和分析，生理系统建模，逆问题求解在研课题1.弹性成像；2.心脏电生理建模;3.三维电生理成像技术个人简历20 ...深圳先进技术研究院 深圳先进技术研究院 免费考研网 2012-11-04深圳先进技术研究院研究生导师介绍杨忠学
导师姓名杨忠学性别男职称助理研究院专业名称材料科学与工程导师类别□博导√硕导所在单元先进材料研究中心是否兼职□是√否招生专业□物理化学（含化学物理）□生物化学与分子生物学□信号与信息处理□模式识别与智能系统□计算机应用技术√材料工程□电子与通信工程□控制工程□计算机技术□生物工程研究方向工业润滑与表 ...深圳先进技术研究院 深圳先进技术研究院 免费考研网 2012-11-04深圳先进技术研究院研究生导师介绍张国平
导师姓名张国平性别男职称助理研究员专业名称物理化学导师类别□博导□硕导所在单元集成所先进材料中心是否兼职□是□否招生专业□物理化学（含化学物理）□生物化学与分子生物学□信号与信息处理□模式识别与智能系统□计算机应用技术□材料工程□电子与通信工程□控制工程□计算机技术□生物工程研究方向高密度系统级封装 ...深圳先进技术研究院 深圳先进技术研究院 免费考研网 2012-11-04深圳先进技术研究院研究生导师介绍张帆
导师姓名张帆性别男职称副研究员专业名称信息与通信工程导师类别□博导■硕导所在单元云计算技术研究中心是否兼职□是■否招生专业□物理化学（含化学物理）□生物化学与分子生物学□信号与信息处理□模式识别与智能系统■计算机应用技术□材料工程□电子与通信工程□控制工程□计算机技术□生物工程研究方向云计算，海量数 ...深圳先进技术研究院 深圳先进技术研究院 免费考研网 2012-11-04深圳先进技术研究院研究生导师介绍张春阳
导师姓名张春阳性别男职称研究员专业名称物理化学、生物化学与分子生物学、生物工程导师类别■博导□硕导所在单元医工所纳米中心是否兼职□是■否招生专业■物理化学（含化学物理）■生物化学与分子生物学□信号与信息处理□模式识别与智能系统□计算机应用技术□材料工程□电子与通信工程□控制工程□计算机技术■生物工程 ...深圳先进技术研究院 深圳先进技术研究院 免费考研网 2012-11-04深圳先进技术研究院研究生导师介绍袁一卿
导师姓名袁一卿性别男职称研究员专业名称动力传动与控制导师类别□博导□硕导所在单元电动汽车研发中心是否兼职□是□否招生专业□物理化学（含化学物理）□生物化学与分子生物学□信号与信息处理□模式识别与智能系统□计算机应用技术□材料工程□电子与通信工程□控制工程□计算机技术□生物工程研究方向电动汽车先进动力 ...深圳先进技术研究院 深圳先进技术研究院 免费考研网 2012-11-04深圳先进技术研究院研究生导师介绍俞挺
导师姓名俞挺性别男职称副研究员专业名称微电子学与固体电子学导师类别□博导□硕导所在单元集成电子研究中心是否兼职□是□否招生专业□物理化学（含化学物理）□生物化学与分子生物学□信号与信息处理□模式识别与智能系统□计算机应用技术□材料工程□电子与通信工程□控制工程□计算机技术□生物工程研究方向微电子、M ...深圳先进技术研究院 深圳先进技术研究院 免费考研网 2012-11-04深圳先进技术研究院研究生导师介绍于喆
导师姓名于喆性别男职称副研究员专业名称生物医学工程/微纳器件导师类别√博导□硕导所在单元神经工程中心是否兼职□是√否招生专业√物理化学（含化学物理）□生物化学与分子生物学□信号与信息处理□模式识别与智能系统□计算机应用技术□材料工程□电子与通信工程□控制工程□计算机技术□生物工程√生物医学工程研究方 ...深圳先进技术研究院 深圳先进技术研究院 免费考研网 2012-11-04
