CV

More details can be found in the pdf.

General Information

Full Name Jean-Guy Mailly
Date of Birth 8th February 1990
Contact jean-guy.mailly@irit.fr
Languages French, English

Education

  • 2015
    PhD in Computer Science
    Université d'Artois, Lens, France
    • Title of the thesis ''Dynamics of Argumentation Frameworks''.
    • Under the supervision of Sylvie Coste-Marquis, Sébastien Konieczny and Pierre Marquis.
    • Defense committee.
      • Gerhard Brewka and Stefan Woltran (reviewers).
      • Salem Benferhat, Andreas Herzig and Anthony Hunter (examiners).
  • 2012
    Master in Computer Science
    Université d'Artois, Lens, France
    • Master thesis ''Revision of Argumentation Frameworks''.
  • 2010
    Bachelor in Computer Science
    Université d'Artois, Lens, France

Experience

  • 2024 - ...
    Junior Professor of Computer Science
    IRIT, Université Toulouse Capitole, Toulouse, France
    • Research in the LILaC group of IRIT.
    • Teaching in the Toulouse School of Management and the Faculty of Information Technology.
  • 2016 - 2024
    Associate Professor of Computer Science
    LIPADE, Université Paris Cité, Paris, France
    • Research in the Distributed Artificial Intelligence group of LIPADE.
    • Teaching in the Department of Mathematics and Computer Science.
  • 2015-2016
    Project Assistant
    Faculty of Informatics, TU Wien, Vienna, Austria
    • Postdoc funded by the FWF project ''Fragment-Driven Belief Change''.
  • 2012-2015
    Doctoral Candidate
    Université d'Artois, Lens, France
    • Research in CRIL.
    • Teaching in the Institute of Technology of Lens.

Honors and Awards

  • 2023
    • Crustabri ranked first in 12 subtracks of ICCMA 2023
  • 2019
    • CoQuiAAS ranked second in ICCMA 2019
  • 2017
    • CoQuiAAS ranked first in the GR track ICCMA 2017
  • 2015
    • CoQuiAAS ranked first in ICCMA 2015

Academic Interests

  • Formal Argumentation.
    • Computational methods for abstract argumentation.
    • Uncertainty in abstract argumentation.
    • Dynamics of abstract argumentation.
    • Explainability based on argumentation.
    • Argument-based negotiation.
    • Argumentation for legal reasoning.
  • Belief change.
    • Belief revision.
    • Belief merging.
  • Fair allocation.
    • Computational methods for fair allocation problems.