 |
 |
Enseignement
 |
| Prénom | Olga |
| Nom | KOUCHNARENKO |
| Statut | PROFESSEUR
|
| Adresse | LIFC UFR ST 16 route de Gray 25030 BESANCON Cedex
|
| Courriel | olga.kouchnarenko [ _at_ ] lifc.univ-fcomte.fr
|
| Téléphone | +33 (0)3.81.66.65.24
|
| Fax | +33 (0)3 81 66 64 50 |
| Equipe | VESONTIO
|
Matières enseignées et responsabilités des modules
- Spécification et vérification de systèmes critiques
- Automates finis et infinis
- Modélisation et évaluation de systèmes informatiques
- Algèbres de processus et applications
- Théorie des langages ; Licence 3 d'informatique (responsable du module actuel)
- Théorie des langages, sémantique et preuve ; Licence à distance (responsable du module actuel)
- Sécurité informatique
- Logiques et déductions
- Modélisation Discrète pour l'Informatique
- Bases de données
- Méthodes et outils pour l'intelligence artificielle
- Techniques de communication
|
 |