From AtlanMod

Zheng Cheng

email: zheng dot cheng at inria dot fr

Linkedin: portal

Github: portal


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.