 |
|
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
|
|
