IntroductionI am an associate professor in the Department of Computer Science & Technology at Nanjing University, China. At the same time, I am also a research member of the Software Engineering Group (SEG) led by Prof. Xuandong Li , my Ph.D. supervisor. I received the B.Sc. (CUMT), M.Eng. (NJU) and Ph.D. (NJU) degrees in Computer Science in 2001, 2004 and 2009, respectively. From Sep 2007 to Sep 2008, I worked in the INRIA AtlanMod team led by Prof. Jean Bézivin, my co-supervisor in France. Currently, I am working at SnT of Luxembourg University as a visiting scholar in the SVV Lab led by Prof. Lionel Briand. The visiting period is from March to September, 2013. Teaching•Software Engineering, with Prof. Xuandong Li, Prof. Linzhang Wang and Dr. Xin Chen, 2010 and 2011 (for undergraduates)•Software Construction, Spring 2009 (for undergraduates).•Software Methodology — Model Driven Software Development, 2009, 2010 and 2011 (for postgraduates). Research InterestMy overall research interests relate to model driven aspects of software engineering, with the aim of facilitating the rapid and reliable development and maintenance of both large and small software systems. My recent work is focusing on MDE based embedded systems, including patterns driven MDE development, bridging heterogeneous models, formal support for design and analysis. Publication & Technique ReportSelected papers and technique reports are list below: 1. Journal Papers •Tian Zhang, Frédéric Jouault, Jean Bézivin and Xuandong Li (2008)An MDE-based method for bridging different design notations, NASA Innovations in Systems and Software Engineering, Springer London, 2008.(pdf) •Tian Zhang, Frédéric Jouault, Christian Attiogb? Jean Bézivin and Xuandong Li (2008)MDE based Model Transformation: from MARTE to FIACRE, accepted by Journal of Software (in Chinese), 2008. •Tian Zhang, Yan Zhang, Xiaofeng Yu, Linzhang Wang and Xuadong Li (2007)MDA Based Design Patterns Modeling and Model Transformation, Journal of Software (in Chinese), 2008, 19 (9): 2203-2217. •Yu Xiaofeng, Zhang Yan, Zhang Tian, Wang Linzhang, Hu Jun, Zhao JianHua, Li Xuandong (2007)A model-driven development framework for enterprise Web services. Information Systems Frontiers, Springer Netherlands, 2007. 9(4). 391-409. (pdf) •Yan Zhang, Jun Hu, Xiaofeng Yu, Tian Zhang, Xuandong Li, Guo-liang Zheng (2006)Scenario based Component Behavior Deriving. (in Chinese) Journal of Software, 2007, 18(1):50-61. (pdf) 2. Conference Papers •Tian Zhang, Frédéric Jouault, Jean Bézivin and Xuandong Li (2008)An MDE-based method for bridging different design notations, 1st IEEE International UML&FM workshop (hosted by ICFEM 2008), Japan, 2008. •Tian Zhang, Frédéric Jouault, Jean Bézivin, Zhao Jianhua (2008)A MDE Based Approach for Bridging Formal Models, Proc. of 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE08). IEEE Computer Society.(pdf) •Yan Zhang, Jun Hu, Xiaofeng Yu, Tian Zhang, Xuandong Li and Guoliang Zheng (2006)In: Proceedings of the 8th International Conference on Formal Engineering Methods (ICFEM 2006). LNCS 4260. Springer-Verlag, Berlin Heidelberg New York, 2006. 206-225 •Xiaofeng Yu, Jun Hu, Yan Zhang, Tian Zhang, Xuandong Li, Linzhang Wang (2006)A Model Driven Development Framework for Enterprise Web Services. In: Proceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2006). IEEE Computer Society. •Yan Zhang, Jun Hu, Xiaofeng Yu, Tian Zhang, Xuandong Li, Guoliang Zheng (2006)Deriving Available Behavior All Out from Incompatible Component Compositions. In: Proceedings of the 2nd International Workshop on Formal Aspects of Component Software (FACS 2005). Electronic Notes in Theoretical Computer Science, Vol. 160. Elsevier, 2006. 349-361 •Jun Hu, Xiaofeng Yu, Yan Zhang, Tian Zhang, Xuandong Li, Guoliang Zheng (2005)Checking Component-Based Embedded Software Designs for Scenario-Based Timing Specifications. In: Proceedings of the 2005 IFIP International Conference on Embedded and Ubiquitous Computing (EUC 2005). LNCS 3824. Springer-Verlag, Berlin Heidelberg New York, 2005. 395-404 •Hu Jun, Yu Xiaofeng, Zhang Yan, Zhang Tian, Wang Linzhang, Li Xuandong, Zheng Guoliang (2005)Scenario-based Verification for Component-based Embedded Software De- signs. In: Proceedings of the 34th International Conference on Parallel Processing Workshops (ICPP 2005 Workshops), IEEE Computer Society, 2005. 240-247 •Tian Zhang and Xiaomei Zheng (2003)Dynamic agent based e-commerce model. 2003 International Conference on Management of e-Commerce and e-Government (ICMeCG 2003), JS&T Press. 2003, 58-63 2. Others •Jianhuan Zhao, Tian Zhang et al. (2006)Translate the book "Model Driven Architecture with Executable UML" into Chinese, China Machine Press, 2006 •Tian Zhang (2006)Technique Report: Model driven architecture: Principles and practice. SEG seminar. (pdf) •Tian Zhang (2005)Technique Report: Brief Introduction to UML 2.0 (pat I) (part II) (part III), SEG seminar, October 2005. SeminarWe usually have seminar at Room 504, MengMinwei Building II every Wednesday. The topic of seminar is mainly round software engineering, model checking, formal methods, model driven development, software testing, etc. Our seminar is open to all faculties and students in our department. Software Engineering GroupSoftware Engineering Group is founded by Prof. Guoliang Zheng and Prof. Xuandong Li in 90's last century. Many outstanding scholars and researchers in computer science and technology have collaborated or been trained by SEG. Now SEG has many projects with financial support by National Science Fund for Distinguished Young Scholars of China, National Nature Science Foundation of China, National Grand Fundamental Research 973 Program of China.