Scholar
Cong Tian
Google Scholar ID: skrocFAAAAAJ
Xidian University
Citations & Impact
Citations
999
H-index
18
i10-index
37
Publications
20
Co-authors
0
Contact
No contact links provided.
Publications
Resume (English only)
Academic Achievements
- The paper 'Decision Procedure for A Fragment of Linear Time Mu-Calculus' was accepted by IJCAI 2016; the paper 'Model Checking Petri Nets with MSVL' was accepted at Information Sciences. Her group earned the Natural Science Award (first class) from the Ministry of Education in December 2015. She has also served as a PC member for several academic conferences.
Research Experience
- Currently a professor at the School of Computer Science and Technology, Xidian University, Xi'an, China. From October 1, 2010, to March 31, 2011, she was a HIF researcher at the Software Engineering Laboratory for Dependable Systems, Hosei University, Tokyo, Japan.
Education
- Received B.Sc. in Computer Science from Xidian University, China, in 2004; M.Sc. in Computer Science from Xidian University, China, in 2007; and Ph.D. in Computer Science from Xidian University, China, in 2009.
Background
- Research interests include theories in model checking, temporal logics and automata, formal verification of software systems, and logic programming.
Miscellany
- Teaching courses include: Formal Language and Automata Theory (2011), Java Programming (2011), Compilers (2012-2014), and Formal Verification (2012).
Co-authors