Alain SIGAYRET : enseignements a l'UFR ST

Alain SIGAYRET

Université Blaise Pascal
UFR Sciences et Technologies
Département de Mathématiques et Informatique

Enseignements à l'UFR LLSH – Recherche – ACCUEIL

Présentation :
Ce site a commencé à être mis en place pendant les années universitaires 2000-2001-2002 où, en tant qu'ATER, j'ai enseigné l'informatique à l'UFR sciences de l'Université Blaise Pascal, tout en préparant une thèse au LIMOS. En parallèle avec mon travail à l'UFR LLSH où j'ai été nommé comme permanent en 2002, je continue à intervenir à l'UFR Sciences et Technologies (anciennement UFR Sciences Exactes et Naturelles).
N.B. En 2017, l'informatique du département mathématiques et informatique de l'UFR sciences a été intégré avec l'école d'ingénieur ISIMA dans "l'Institut d'informatique" de la nouvelle Université Clermont-Auvergne.

Enseignements :

Initiation à la programmation impérative (en Pascal). Prévue, jusqu'en 2002 pour la 1ère année des anciens DEUG MIAS et MASS (Mathématiques, Informatique et Applications aux Sciences / Mathématiques Appliquées aux Sciences Sociales), cette formation reste d'actualité pour aborder la programmation impérative.
Pour la licence informatique :
- UE principale d'informatique en L1 : Programmation fonctionnelle en Caml. Cette UE de programmation comprend aussi une initiation au lambda-calcul.
- Algorithmique, (UE successives du DEUG MIAS puis de la licence).
- UE Découverte de l'informatique des L1 de l'UFR ST ( 1ère année) : je suis intervenu en 2010 et 2011 dans la première partie : Architecture des Systèmes. En compléments des supports écrits de TD réalisés par E. Duffour, j'ai conçu des documents numériques complémentaires portant notamment sur les rapports entre logique et architecture des systèmes.
- UE Architecture des systèmes pour le L2 informatique : J'interviens depuis 2012 dans cette UE, qui étudie notamment :
  – la programmation avancée en C, et
  – la programmation en assembleur avec Nasm.
Pour le Master 1 (anciennement MAITRISE d'informatique)
- Compilation : A mon arrivé à Clermont-Ferrand en 2000, je me suis vu confier l'organisation des TP de compilation en maîtrise d'informatique, une matière réputée difficile dont le cours était attribué à Anne Berry. Parallèlement au cours remarquable qu'elle a développé (et qui incluait au départ la théorie des langages), j'ai mis en place, pour les étudiants de TP, un site d'autoformation aux logiciels LEX et YACC d'analyse lexico-syntaxique sous C/C++. Initialement prévu sous Unix, la formation a été mise à jour pour une utilisation sous Linux Debian (Flex et Yacc/Bison).
  Annexe : Une illustration du lemme de la pompe pour les TD.
Stages et projets.

2017-06-30 – A. Sigayret