IRIT - UMR 5505

English
CNRS
INPT
UPS
UT1
UTM
  Bandeau IRIT
 

  Sotin Pascal


  Statut : Permanent
  Service/Equipe :  groupe de Recherche en Architecture et Compilation pour les Systèmes Embarqués
  Contact : Pascal.Sotin@irit.fr
  Localisation : Autres sites - IRIT et IUT Blagnac
  Téléphone : 05 61 55 8332


 

 

Recherche

Que peut dire un ordinateur à propos d'un programme sans l'exécuter ?

Beaucoup de choses, mais certainement pas tout.

  • Dans ma thèse, aspect quantitatifs de l'analyse statique, l'ordinateur est chargé de répondre à la question « combien ».
  • Dans mes travaux de postdoctorat, la question est moins générale : « comment s'organise la mémoire », mais la réponse que la machine y apporte permet d'acquérir une grande confiance dans la sûreté d'exécution des programmes analysés.
  • Au sein de l'équipe TRACES nous nous posons la question de « combien de temps met un logiciel critique à s'exécuter ». Une question extrêmement précise, mais dont la réponse dépend de beaucoup d'autres interrogations (états des caches, pipelines, décompte des boucles)...

Les éléments factuels sont dans la version anglaise.



Enseignement

Je suis enseignant au département informatique de l'IUT de Blagnac. Cet IUT est rattaché à l'université Toulouse Jean Jaurès.

J'interviens dans des modules concernant :

  • Les réseaux et les systèmes
  • L'algorithmique et les langages de programmation
  • La construction du projet personnel et professionnel des étudiants
  • L'encadrement de stage et de projets tuteurés

Je suis responsables des modules M2102 (architecture des réseaux) et M3103 (algorithmique avancée). J'assure également la direction des études de la première année.

Je m'intéresse beaucoup à la qualité pédagogique de enseignements dispensés. Si la question vous intéresse également, je partage ici quelques pensées à ce propos.