Educational activities

Educational activities

Latest teachings

All teaching (1)

2020- 2025: Biochimie métabolique

Latest supervisions

All supervision (4)

2020: Formalisation en Coq de Bases de Donnees Relationnelles et Deductives -et Mecanisation de Datalog

2018: Vers les reseaux de nouvelle generation avec SDN et NFV

2011: Cognitive Service Engineering Declartive User-cognitive service Interaction Patterns and Conversation Models.

2011: Apprentissage sur des donnees multispectrales et multi-plateformes au profit des systemes de mission de surveillance