Sino French Laboratory(LIAMA) Visited Joint Research Center
Nov 19, 20009, Director of Sino French Laboratory for computer science, automation and applied mathematics (LIAMA), professor Jean-Pierre Jouannaud and Dr. Pierre-Yves Strub came to our research center and paid a two-day visit. LIAMA is a joint lab of INRIA and universities of China including Tsinghua University. We introduced our joint work with Yale and on-going work. Post Doc. Guo Yu and Li Zhaopeng gave talks about certified operating system kernel and certifying compiler. Prof. Jouannaud and Dr. Strub gave talks about LIAMA and researches on combining proof assistant and decision procedures. Furthermore, we have some more detailed discussions on our research interests. We also have agreed on long-term collaboration.
Prof. Jean Pierre
Dr. Pierre Yves
