Manuel.S.M Garnacho

Docteur en Sciences, spécialité Informatique / PostDoc à l'IRIT - Univ Paul Sabatier

Accueil

Présentation rapide

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'Institut National Polythechnique de Toulouse 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).

Principaux thèmes de recherche

- Théorie de la démonstration et Assistants à la preuve

- Sémantique des langages de programmation

- Mécanisation de Sémantiques pour Systèmes Temps-réel et Concurrents

- Traduction et Compilation certifiées

- Interpretation abstraite et Certification formelles de programmes

Coordonnées professionnelles

Adresse : INP-ENSEEIHT - 2 rue Charles CAMICHEL, B.P. 7122 - 31071 Toulouse Cedex 7 FRANCE.

Bureau : 320 du Bâtiment F

Téléphone : 05 61 55 63 24

Email : Manuel.Garnacho[at]irit.fr ou Manuel.Garnacho[at]enseeiht.fr

«L'informatique n'est pas plus la science des ordinateurs que l'astronomie n'est celle des télescopes.» Edsger Wybe Dijkstra