I am a doctoral student at the State Key Laboratory of Computer Science
, supervised by Institute of Software, Chinese Academy of Sciences .
My main areas of interest are formal methods, fairness, abstraction, deductive proof, size-change termination and software model checking.I graduated in Computer Science at Beijing Jiaotong University in 2007.
Contact Info
| Email: | longteng@ios.ac.cn |
| Addr.: | State Key Laboratory of Conputer Science |
| 4# South Fourth Street, Zhong Guan Cun, Beijing 100190 |
Publications
- Long, T., Zhang, W. : Auxiliary Constructs for Proving Liveness in Compassion Discrete Systems.In 8th International Symposium on Automated Technology for Verifivation and Analysis (ATVA 2010) 276-290
- Long, T., Zhang, W. : Proving Liveness Property under Strengthened Compassion Requirements .In 9th annual conference on Theory and Applications of Models of Computation (TAMC 2012)498-508
- Long, T., Zhang, W. : Proving Liveness under Fairness Requirements.In 19th Asia-Pacific Software Engineering Conference (APSEC2012)
- Long, T., Zhang, W. : Proving Liveness Property under A Mixtrue of Fairness Requirements .In Special Issue for Mathematical Structures in Computer Sciences (MSCS), Cambridge University Press. To be submitted
Presentations- In Tsinghua Software Day Student Day: March 16, 2012
- folk dance and yoga
Hobbies
