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