删除或更新信息,请邮件至freekaoyan#163.com(#换成@)

上海交通大学电子信息与电气工程学院研究生导师介绍邓玉欣

上海交通大学 免费考研网/2012-12-17


导师介绍

导师姓名
邓玉欣
导师性别男
职务职称副教授.
所在院系电子信息与电气工程学院
所属学科计算机科学与技术
研究方向并发理论概论计算模型
联系电话+862134205060-601
电子邮箱deng-yx@cs.sjtu.edu.cn

个人简介

1995-1999上海交通大学学士1999-2002上海交通大学硕士2002-2005EcoledesMinesdeParis,France博士2005-2006UniversityofNewSouthWales,Australia研究助理2006-现在上海交通大学副教授
代表性论著

-Y.Deng,R.vanGlabbeek,M.Hennessy,C.Morgan,andC.Zhang.CharacterisingTestingPreordersforFiniteProbabilisticProcesses.InProc.ofthe22ndAnnualIEEESymposiumonLogicinComputerScience(LICS'07),pp.313-325.IEEEComputerSociety,2007.-Y.DengandC.Palamidessi.Axiomatizationsforprobabilisticfinite-statebehaviors.TheoreticalComputerScience,373(1-2):92-114,2007.-Y.DengandD.Sangiorgi.Ensuringterminationbytypability.InformationandComputation,204(7):1045-1082,2006.-Y.DengandD.Sangiorgi.Towardsanalgebraictheoryoftypedmobileprocesses.TheoreticalComputerScience,350(2-3):188-212,2006.
相关话题/电子 信息 电气 导师