LecturerSept.2013-Present
SchoolofInformationEngineering,ChinaUniversityofGeosciences,Beijing,China.

VisitingResearcher2017/11-2018/11
UniversitéParisDiderot,theResearchInstituteontheFoundationsofComputerScience,Automata,Structures,andVerification
Supervisor:ProfessorAhmedBouajjani

PhDinComputerSoftwareandTheory2007-2013
StateKeyLaboratoryofComputerScience,InstituteofSoftware,ChineseAcademyofSciences
Supervisor:ProfessorWenhuiZhang

BachelorinComputerScience2003-2007
BeijingJiaotongUniversity,Beijing,China.


Projects:
"BoundedCorrectnessCheckingandAssociatedModelCheckingTechniques",NSFCgrant,2017-2020,Participant
"TerminationAnalysisunderGeneralConstraints",SKLCSgrant,2015-2017,PI.
"Security-relevantPropertiesinDistributedSystems",CentralUniversitiesgrant,2014-2017,PI.
"Symbolicmodelsandimplicitstatemodelcheckingtechniques",NSFCgrant,2013-2016,Participant.
"Formalmodelsoverinfinitealphabets:LogicandAutomata",NSFCgrant,2012-2014,Participant.

---

---

"Bounded Correctness Checking and Associated Model Checking Techniques", NSFC grant, 2017-2020,Participant

"Termination Analysis under General Constraints",SKLCS grant,2015-2017, PI.

"Security-relevant Properties in Distributed Systems",Central Universities grant, 2014-2017, PI .

"Symbolic models and implicit state model checking techniques", NSFC grant, 2013-2016, Participant.

"Formal models over infinite alphabets: Logic and Automata", NSFC grant, 2012-2014, Participant.

---

---

中国软件杯大学生软件设计大赛（工信部、教育部）本科组 决赛 三等奖 指导老师 2017-09

GUCAS scholarship, Graduate University of Chinese Academy of Science

Excellent graduate of Beijing Province

FuJi Xerox scholarship, Beijing

---

---

Graduate course: "Software Analysis and Verification", Sept. 2014- Sept. 2015

Graduate course: "Architecture of Software", Sept. 2014 -Present

Undergraduate course: "Software Measurement", Sept. 2014- Present

Undergraduate course: "Computer Operating System Principle", Sept. 2013-Present

Undergraduate course: "Software Design in Embedded System", Sept. 2015-Present