User:Zcheng
From AtlanMod
Zheng Cheng
email: zheng dot cheng at inria dot fr
Linkedin: portal
Github: portal
location:
AtlanMod research team (INRIA & EMN) - Room B206
École des Mines de Nantes
4, rue Alfred Kastler
44307 Nantes Cedex 3 - France
Short Bio
Zheng Cheng [BSc, Beijing University of Civil Engineering and Architecture, 2007; MSc, Maynooth University, 2011; PhD., Maynooth University, 2016] is a post-doctoral researcher at AtlanMod Team (INRIA, Mines Nantes, LINA), France. His research interests lie in model driven engineering, model transformation and deductive program verification.
In his spare time, he enjoys card games, and is trying to learn to play guitar.
Publications
- Please refer to my Google Scholar page