Contact information
- E-mail: Jeremy (dot) Dubreil (at sign) irisa (dot) fr
- Address
INRIA Rennes Bretagne Atlantique
Campus Universitaire de Beaulieu
35042 Rennes cedex - France
- Tel: +33 2 99 84 74 66
- Fax: +33 2 99 84 71 71
- Assistant: +33 2 99 84 25 77 (Lydie Mabil-Letort)
Research Interests
I am currently PhD sutdent at INRIA Rennes and Université de Rennes 1 under the supervision of Thierry Jéron and Hervé Marchand within the VerTeCs team. I am working on formal methods for security properties and especially on verfication, test generation and supervisory control for confidentiality.