CRAN - Campus Sciences
BP 70239 - 54506 VANDOEUVRE Cedex
Tél : +33 (0)3 72 74 52 90
cran-secretariat@univ-lorraine.fr
 
 
M. Mario LEZOCHE - Maître de conférences  (Enseignant-Chercheur)
Section : CNU - 61 Génie informatique, automatique et traitement du signal
Département
Ingénierie des Systèmes Eco-Techniques
Etablissement : UL
+33 (0)3 72 74 52 19
mario.lezoche@univ-lorraine.fr
Site recherche : Campus sciences - Bât. Henri Poincaré
Lien vers page personnelle : http://www.cran.univ-lorraine.fr/mario.lezoche
Publications (HAL) : Publications
Encadrement de thèse(s) :
2015/09/01 -
2018/12/31
Méthodes formelles pour l’extraction de la connaissance métier en ingénierie système coopérative  (Dmitry MOROZOV)
2017/03/03 -
2020/01/30
Analyse des solutions formelles pour l’agglomération de la connaissance métier en ingénierie système coopérative  (Mickael WAJNBERG)
2018/05/03 -
2020/11/30
Contribution à la formalisation d’invariants de modélisation pour l’optimisation des performances de durabilité des systèmes cyber-physiques  (Concetta SEMERARO)