Soutenance HDR - Ivan Varzinczak

Dans cet exposé, je présenterai un résumé de haut niveau de mes contributions au domaine de la logique appliquée pour la période allant de 2007 à 2019 et que je considère comme les plus pertinentes dans le contexte d’une Habilitation française (HDR). Je mettrai également en avant certains indicateurs de performance clés qui soutiennent l’obtention d’un tel diplôme. L’exposé se terminera par quelques perspectives sur les recherches futures.

Composition du jury :

  • Franz Baader, TU Dresden (rapporteur)
  • Stéphane Demri, CNRS, Paris (examinateur)
  • Hans van Ditmarsch, CNRS, Nancy (rapporteur)
  • Sébastien Konieczny, CNRS, Lens (examinateur)
  • Pierre Marquis, Univ. Artois, Lens (directeur)
  • Marie-Laure Mugnier, Univ. Montpelier (examinateur)
  • Odile Papini, Univ. Marseille (rapporteur)
  • Leon var der Torre, Luxembourg (examinateur)

Les membres du jury ont examiné et évalué deux documents principaux, à savoir une habilitation à la française synthétisant mes contributions scientifiques au cours des 12 dernières années, et une monographie intitulée «Defeasible Description Logics», qui présente une investigation détaillée d’un thème de recherche que j’ai poursuivi au cours des huit dernières années et que j’ai l’intention de publier sous forme de livre.