CACE's Minho Team is currently developing a deductive verification tool for CAO (programming language under the development in the CACE European Project) which is built on the top of Jessie plug-in part of the Why framework and also included in the Frama-C framework. The CAO language is tuned to the implementation of low-level cryptographic primitives in a way which is close to the notation used in scientific papers and standards.
- During 3 months, between March 2009 and May 2009, I did an internship at INRIA Saclay,Île-de-France, to work with Proval team. In particular, I started the development of a deductive verification tool for a domain specific languange called CAO, together with Jean-Christophe Filliâtre and Claude Marché.
- Researcher at "Pervasive Retail" Project, from October 2007 to June 2008. This project addressed cryptography and security areas, and was resultant of a cooperation between CCTC and Enabler/Wipro company.
- Internship at Multivector S.A. Company, Braga, Portugal, from March 2007 to September 2007.
Departamento de Informática Universidade do Minho Campus de Gualtar 4710 Braga, Portugal.