Research

VIP: Verification, Interaction and Proofs (2017 CAS-Inria Call)

2018 / 07 / 26

Inria

Research center: Paris

Inria Research team : PI.R2

Principal investigator : Pierre-Louis Curien

Field : Algorithmics, Programming, Software and Architecture

Theme : Proofs and verification

Chinese Academy of Sciences

Ying Jiang, Institute of Semiconductors,Chinese Academy of Sciences (IOS-CAS)

Creation: 2017

+86 (0) 10 8254 4772

+86 (0) 10 8254 4594

xuefei.liu@nlpr.ia.ac.cn

5F, Intelligent Building N.95, Zhong Guan Cun East Road, Beijing, China