Professeur des universités
M. Frederic Mallet
Coordonnées
Laboratoire I3S 2004 route des Lucioles Les algorithmes - Euclide B
103
- Tél
- +33 4 89 15 04 19
- Bureau 2
- L-043
- Téléphone 2
- +33 4 89 15 04 19
- Frederic.MALLET@univ-cotedazur.fr
- Site internet
- https://www.i3s.unice.fr/~fmallet/
Discipline(s)
Sciences > Informatique
Discipline(s) enseignée(s)
- Conception et programmation orientées objets (L3 Miage)
- Architecture des machines (L3 Informatique)
- Systèmes embarqués critiques (M1 Informatique)
- Programmation synchrone et réactive (M1 Informatique)
- Génie logiciel et ingénierie dirigée par les modèles (M1 Informatique)
Thèmes de recherche
- Langages et modèles pour la conception de systèmes embarqués critiques
- Logiques pour la description de propriétés temporelles et temporisées
- Temps logique multiforme
- Langages synchrones et polychrones
- Vérification de contraintes temporelles : model-checking, SAT, SMT
- Modélisation des systèmes cyber-physiques
Corps
Professeur
Informations complémentaires
Membre de l'équipe commune Kairos Inria/I3S