导师介绍

导师姓名
蔡小娟
导师性别女
职务职称助理研究员.
所在院系软件学院
所属学科软件工程
研究方向程序语言理论程序分析
联系电话13564960849
电子邮箱caixiaojuancxj@gmail.com

个人简介

蔡小娟，女，1982年4月生。2005年作为直博生进入上海交通大学BASICS实验室攻读博士学位，导师是傅育熙教授，研究方向为进程演算的表达能力。2009年5月获得博士学位，论文题为“基于Pi演算的编程与表达能力研究”。随后，进入上海交通大学控制科学与工程流动站，师从席裕庚教授，进行博士后研究。2011年5月进入上海交通大学软件学院担任助理研究员工作，主要从事程序语言理论、程序分析等方面的研究。
代表性论著

1.XiaojuanCaiandYuxinDeng.ASimplerFrameworkBasedontheAppliedPiCalculusandItsApplicationtoElectronicCashProtocol.InProceedingsof2008InternationalSymposiumonComputerScienceandComputationalTechnology(ISCSCT2008),volume2,pages87–90,IEEEComputerSociety,2008.2.XiaojuanCaiandYonggenGu.MeasuringAnonymity.InProceedingsofthe5thInformationSecurityPracticeandExperienceConference(ISPEC2009),volume5451ofLectureNotesinComputerScience,pages183–194,2009.3.XiaojuanCaiandYonggenGu.AnalyzingNSPKwiththeAppliedPiCalculus.InProceedingsofthe2ndInternationalSymposiumonElectronicCommerceandSecurity(ISECS2009),volume2,pages386–390,IEEEComputerSociety,2009.4.XiaojuanCai.MeasuringAnonymousSystemsintheProbabilisticAppliedPiCalculus.InProceedingsofthe9thInternationalConferenceonComputationalScienceandItsApplications(ICCSA2009),Volume5593ofLectureNotesinComputerScience,pages614–629,2009.5.XiaojuanCaiandHanZhu.ApplyingaTestingApproachtotheCalculusofFairAmbients.InternationalJournalofComputerMathematics.Vol.86,No.12,pp.2040-2060.2009.6.XiaojuanCaiandYuxiFu.TheLambdaCalculusinthePiCalculus.MathematicalStructuresinComputerScience.Vol.21,pp.1-54,2011.7.XiaojuanCai.APureLabeledTransitionSemanticsfortheAppliedPiCalculus.InformationSciences.Vol.180,pp.4436–4458,Nov2010.