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

Publications

Mashic Project

Links

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