Docteur en Sciences, spécialité Informatique / PostDoc à l'IRIT - Univ Paul Sabatier
Je suis docteur (Ph.D.) en Informatique théorique de l'Université de Grenoble. Mes travaux de doctorat ont été effectués au laboratoire Verimag sous la direction de Michaël Périn au sein de l'équipe DCS (Distributed and Complex Systems).
J'occupe actuellement une position de chercheur postdoctoral à l'Université Paul Sabatier (Toulouse 3) au sein de l'Institut de Recherche en Informatique de Toulouse, dans l'équipe ACADIE (Assistance à la Certification d'Applications DIstribuées et Embarquées).
- Assistants à la preuve et Démonstration automatique de théorèmes
- Sémantique des langages de programmation et de modélisation
- Traduction et Compilation certifiées
- Interpretation abstraite et Certification par preuves formelles de programmes
Adresse : IRIT, Université Paul Sabatier, 118 Route de Narbonne F-31062 Toulouse CEDEX 9, FRANCE.
Bureau : 420 à l'IRIT-1 / Niveau 4
Téléphone : 05 61 55 63 24
Email : Manuel.Garnacho[at]irit.fr