Zhengqin Luo

I am a third-year PhD student at INDES Project, INRIA Sophia Antipolis. I work with Gérard Boudol and Tamara Rezk.

Research Interests

  • Theory of programming languages
  • Formal proofs and verification of protocols
  • Security of web applications


Mashic Project


Contact information:

  • Address:
    Projet INDES,
    INRIA Sophia Antipolis-Méditerranée,
    2004 Route des Lucioles BP 93,
    06902 Sophia Antipolis Cedex France

  • Telephone: (+33) 492387964

  • Email: Zhengqin.Luo (AT) sophia.inria.fr

(at Isola2000, near Nice, France)

Zhengqin Luo, last updated: 7th March, 2011