En quelques mots

Je suis enseignant au département informatique de l’IUT de Blagnac. J’interviens essentiellement en :

• Algorithmique et langages de programmation
• Systèmes et réseaux

Je suis également chercheur au sein de l’équipe TRACES de l’IRIT.

Notre équipe s’intéresse aux interactions entre matériel et logiciel dans le cadre des contraintes temps-réel en informatique embarquée.

Mon domaine d’expertise est l’analyse statique de programmes par interprétation abstraite. Notamment :

• L’analyse de borne de boucles
• L’analyse de fréquence d’exécution
• L’analyse de programmes GPU