Previous | 
Home
Formes (http://formes.asia ) is one of the projects of the LIAMA consortium(http://liama.ia.ac.cn ). It is funded by CNRS, INRIA and Tsinghua University(http://www.tsinghua.edu.cn ), and located at Tsinghua University, Beijing, China. It was created on September 2008 by extending with formal methods Vania Joloboff's DeviceWare project on system-on-chip simulation started in 2007.
Section: Members
Research Scientists
Frédéric Blanqui [CR1 INRIA]Ming Gu [Tsinghua professor, HdR]
Fei He [Tsinghua assistant professor]
Vania Joloboff [DR INRIA]
Jean-Pierre Jouannaud [DR INRIA and Tsinghua software chair, team leader, HdR]
Jean-François Monin [DR CNRS, HdR]
PhD Students
Hui Kong [Tsinghua]Jiaxiang Liu [Tsinghua since September 1]
Kim-Quyen Ly [UJF Grenoble]
Xiaomu Shi [UJF Grenoble]
Hai Wan [Tsinghua until January 31]
Qian Wang [Tsinghua and École Polytechnique]
Rui Wang [Tsinghua]
Liangze Yin [Tsinghua]
Lianyi Zhang [Tsinghua]
Min Zhou [Tsinghua]
Litian Xiao [Tsinghua]
Post-Doctoral Fellows
Jianqi Li [Tsinghua]Guillaume Merle [INRIA]
Hai Wan [Tsinghua since February 1]
Sidi Ould Biha [INRIA until July 31]
Hehua Zhang [Tsinghua]
Visiting Scientist
Bow-Yaw Wang [INRIA visiting professor and Tsinghua invited professor until July 31]Administrative Assistants
Lin Cui [Tsinghua, part time]Mei Zhang [LIAMA, part time]
Others
Meixian Chen [Master Shanghai Jiaotong]Xiaowei Gao [Master Tsinghua]
Sen Guo [Master Guangxi until February 28]
Yu Jiang [Master Tsinghua]
William Kilque [Master CPE Lyon until September 4]
Jiaxiang Liu [Master Tsinghua until August 31]
Mengqi Liu [Master Tsinghua since September 1]
Shengpeng Liu [Master Tsinghua since September 1]
Wenrui Meng [Master Tsinghua]
Lifan Su [Master Tsinghua since September 1]
Xia Wu [Master Tsinghua since September 1]
Huiying Luo [Master Tsinghua until June 30]
Peng Shan [Master Guangxi until February 28]
Frédéric Tuong [Master Paris 7 until October 10]
Shenpeng Wang [Master Tsinghua]
Yuhui Wang [Master Tsinghua until July 31]
Yang Yu [Master Guangxi]
Xuke Zhang [Master Tsinghua]
Zuyu Zhang [Master Harbin]
Xinlei Zhou [Master Beihang]
Lei Zhu [Master Tsinghua]