田聪(CongTian)

教授，博士生导师
西安电子科技大学计算机学院，西安，中国
西安电子科技大学北校区主楼1区301室
电子邮箱:c.tian.xduatgmail.comorctianatmail.xidian.edu.cn

---

简历
西安电子科技大学计算机学院教授，博士生导师。分别于2004年，2007年和2009年在西安电子科技大学获学士、硕士和博士学位。于2010年10月1日至2011年3月31日在日本Hosei大学访问。

---

研究兴趣

可信嵌入式系统理论与技术
可信网络计算理论与技术可信软件的基础理论与方法

---

发表的论文

FulllistofPublicationsDBLPPublications

---

教学

形式语言与自动机(硕士研究生，2011春)Java程序设计(本科三年级，2011秋)编译原理（本科三年级，2012春，2013春，2014春）验证技术（博士研究生，2012春）

---

科研项目

国家自然科学基金优秀青年基金：形式化验证（NSFC61322202，2014.01-2016.12），项目负责人国家自然科学基金面上项目：基于共享变量的多核并发程序模型检测（NSFC61272117，2013.01-2016.12），项目负责人国家自然科学基金青年基金项目：基于APTL的开放系统模型检测（NSFC61003078，2011.01-2013.12），项目负责人国家自然科学基金重点项目：开放软件系统的基础理论与关键技术，主要成员国家重点基础研究发展计划973子课题：信息服务的需求获取与建模，主要成员国家自然科学基金重大国际合作项目(英、法、日)，构造可信、高效软件系统的基础研究，主要成员国家自然科学基金可信软件重大专项培育项目：基于FPGA的高可信嵌入式系统的基础研究，主要成员

---

奖励及资助

国家自然科学基金优秀青年基金资助（2013）教育部新世纪优秀人才资助（2013）西安电子科技大学第二届优秀青年教师资助计划陕西省科学技术二等奖1项(排名第二)西安电子科技大学优秀博士论文西安电子科技大学优秀博士论文资助计划


-----------------------------------------------------------------


田聪(CongTian)

教授，博士生导师
西安电子科技大学计算机学院，西安，中国
西安电子科技大学北校区主楼1区301室
电子邮箱:c.tian.xduatgmail.comorctianatmail.xidian.edu.cn

---

简历
西安电子科技大学计算机学院教授，博士生导师。分别于2004年，2007年和2009年在西安电子科技大学获学士、硕士和博士学位。于2010年10月1日至2011年3月31日在日本Hosei大学访问。

---

研究兴趣

可信嵌入式系统理论与技术
可信网络计算理论与技术可信软件的基础理论与方法

---

发表的论文

FulllistofPublicationsDBLPPublications

---

教学

形式语言与自动机(硕士研究生，2011春)Java程序设计(本科三年级，2011秋)编译原理（本科三年级，2012春，2013春，2014春）验证技术（博士研究生，2012春）

---

科研项目

国家自然科学基金优秀青年基金：形式化验证（NSFC61322202，2014.01-2016.12），项目负责人国家自然科学基金面上项目：基于共享变量的多核并发程序模型检测（NSFC61272117，2013.01-2016.12），项目负责人国家自然科学基金青年基金项目：基于APTL的开放系统模型检测（NSFC61003078，2011.01-2013.12），项目负责人国家自然科学基金重点项目：开放软件系统的基础理论与关键技术，主要成员国家重点基础研究发展计划973子课题：信息服务的需求获取与建模，主要成员国家自然科学基金重大国际合作项目(英、法、日)，构造可信、高效软件系统的基础研究，主要成员国家自然科学基金可信软件重大专项培育项目：基于FPGA的高可信嵌入式系统的基础研究，主要成员

---

奖励及资助

国家自然科学基金优秀青年基金资助（2013）教育部新世纪优秀人才资助（2013）西安电子科技大学第二届优秀青年教师资助计划陕西省科学技术二等奖1项(排名第二)西安电子科技大学优秀博士论文西安电子科技大学优秀博士论文资助计划


-----------------------------------------------------------------


欢迎选修JAVA程序设计课程！NEW!考试时间：2012年1月12日下午15:40—17:40已交大作业同学名单（2011年1月14日）每次课后您可在此处下载最新的课件第1次课：2011年8月24日下午5-6节课件下载第2次课：2011年8月31日下午5-6节课件下载第3次课：2011年9月7日下午5-6节课件下载第4次课：2011年9月14日下午5-6节课件下载第5次课：2011年9月21日下午5-6节课件下载第6次课：2011年9月28日下午5-6节课件下载第7次课：2011年10月26日下午5-6节课件下载课程作业第8次课：2011年11月2日下午5-6节课件下载第9次课：2011年11月9日下午5-6节课件下载1课件下载2第10次课：2011年11月23日下午5-6节课件下载程序示例第11次课：2011年11月30日下午5-6节课件下载第12次课：2011年12月7日下午5-6节课件下载第13次课：2011年12月14日下午5-6节课件下载第14次课：2011年12月21日下午5-6节课件下载第15次课：2011年12月28日下午课件下载复习总结

-----------------------------------------------------------------

通知
031114班+031121班编译原理上机安排：待定

编译原理课件
编译原理课件（2014年）下载

2014年02月24日引言
***************以下为上年度课件****************************
编译原理课件（2013年）下载

2013年02月26日上午引言(1)

2013年02月28日上午引言(2)词法分析(1)

2013年03月05日上午词法分析(2)

2013年03月07日上午词法分析(3)

2013年03月12日上午词法分析(4)

2013年03月14日上午词法分析(5)

2013年03月18日上午语法分析(1)

2013年03月21日上午语法分析(2)

2013年03月26日上午语法分析(3)

2013年03月28日上午语法分析(4)

2013年04月02日上午语法分析(5)上机-词法分析ParserGenerator

2013年04月09日上午语法分析(6)

2013年04月11日上午语法分析(7)

2013年04月16日上午语法分析(8)

2013年04月18日上午语法分析(9)

2013年04月25日上午语法分析(10)

2013年04月28日上午上机-语法分析语法制导翻译(1)

2013年05月07日上午语法制导翻译(2)

2013年05月14日上午语法制导翻译(3)

2013年05月28日上午语法制导翻译(4)

2013年06月04日上午语法制导翻译(5)

2013年06月11日上午语法制导翻译(6)

2013年06月25日上午运行环境

2013年07月02日上午复习


-----------------------------------------------------------------


CongTian(田聪)
Professor
SchoolofComputerScienceandTechnology
XidianUniversity,Xi'an,China
Emails:c.tian.xduatgmail.comorctianatmail.xidian.edu.cn

---

Biography
CongTianreceivedPh.D.,M.Sc.andB.Sc.inComputerSciencefromXidianUniversity,China,in2009,2007and2004,respectively.Sheisnowaprofessorattheschoolofcomputerscienceandtechnology,XidianUniversity,Xi'an,China.From1stOct2010to31stMarch2011,shewasaHIFresearcherattheSoftwareEngineeringLaboratoryforDependableSystems,HoseiUniversity,Tokyo,Japan.

---

ResearchInterests
Cong'sresearchinterestsareinformalverification,boththetheoreticalandpracticalaspects.Theseinclude:Theoriesinmodelchecking,temporallogicsandautomataFormalverificationofsoftwaresystemsLogicprogramming

---

Publications

FulllistofPublicationsDBLPPublications

---

Teaching

FormalLanguageandAutomataTheory(2011)JavaProgramming(2011)Compilers(2012,2013,2014)FormalVerification(2012)

---

AcademicServices

TASE2011PCMemberWSOFL2012PCMemberSOFL+MSVL2013PCMemberICECCS2014PCMemberEASLLC2014PCMember

---

UsefulLinks

CCSourceCoden-fullorderedtreewithcanonicalflagsgeneratorGCEGAR(Changetheextensiontobe.jarforexcutingwithJVM)Data