PHD student

Welcome to my home page in the web site of Phenix research group which located at the bordeaux INRIA research center. You can find my publications and my research interest in other pages. If you want to konw more about me, you could visit my personel web site

Research Interests:

Current research topic

My current research topic is to design and develop a domain-specific langage and verification environment, relying on a formal framework based on rewrite rules and rewrite strategies dedicate to Pervasive Computing System.

Other research topics

My main research interests lie in the field of Security of information system. More specifically, I am interested in the cryptography, security protocol , specification and verification (model checking, B-method). Other areas that interest me are Theory of Computation, Complexity Theory and Geometric Algorithms(e.g. Travelling salesman problem).

Contact:

• E-mail: This e-mail address is being protected from spambots. You need JavaScript enabled to view it

• Address: Bureau 203 - Bâtiment A29 - INRIA Bordeaux-Sud Ouest 351 cours de la Libération 33405 Talence

Publication:

So far, I don't have any official publication. So I have nothing to put here, but I'm pretty sure they will come with time.

Internship report:

If we knew what it was we were doing, it would not be called research, would it?

-- Albert Einstein