学习简历
2015年1月—2020年1月 计算机科学专业 博士 莱斯特大学
2013年10月—2015年1月 高级分布式系统专业 硕士 莱斯特大学
2008年9月—2012年7月 信息管理与信息系统专业 学士 南京管理干部学院
主持参与课题
参与国家自然科学基金项目1项,主持省教育厅基础研究项目1项。
发表论文
1. Yi Xiao; Emilio Tuosto ; On Learning Nominal Automata with Binders, Electronic Proceeding
s in Theoretical Computer Science, 2019, 304: 137-155