Cong Tian |
您所在的位置:网站首页 › 田聪排球 › Cong Tian |
Cong Tian (田聪)
Professor School of Computer Science and Technology Xidian University, Xi'an, China Emails: ctian at mail.xidian.edu.cn or [email protected]
News [Apr 5, 2016] Our paper "Decision Procedure for A Fragment of Linear Time Mu-Calculus" was accepted by IJCAI 2016.[Jan 13, 2016] Our paper "Model Checking Petri Nets with MSVL" was accepted at Information Sciences.[Dec 1, 2015] Our group earned Natural Science Award (first class) from the Ministry of Education.
Biography Cong Tian received Ph.D., M.Sc. and B.Sc. in Computer Science from Xidian University, China, in 2009, 2007 and 2004, respectively. She is now a professor at the school of computer science and technology, Xidian University, Xi'an, China. From 1st Oct 2010 to 31st March 2011, she was a HIF researcher at the Software Engineering Laboratory for Dependable Systems, Hosei University, Tokyo, Japan.Research Interests Cong's research interests are in formal verification, both the theoretical and practical aspects. These include:Theories in model checking, temporal logics and automataFormal verification of software systemsLogic programmingPublications PublicationsDBLP Entry
Teaching Formal Language and Automata Theory (2011)Java Programming (2011)Compilers (2012, 2013,2014)Formal Verification (2012)
Academic Services Editor of journal of combinatorial optimizationEditor of journal of softwareSOFL+MSVL 2016 PC Co-chairSNPD 2016 PC MemberSETTA 2016 PC MemberESSS 2015 PC MemberSOFL+MSVL 2015 PC MemberICECCS 2014 PC MemberEASLLC 2014 PC MemberSOFL+MSVL 2014 PC MemberSOFL+MSVL 2013 PC MemberWSOFL 2012 PC MemberTASE 2011 PC Member
Useful Links CC Source Coden-full ordered tree with canonical flags generatorGCEGAR (Change the extension to be .jar for excuting with JVM)Data |
CopyRight 2018-2019 办公设备维修网 版权所有 豫ICP备15022753号-3 |