Alain Finkel

Research Interests

• computational theories of mind, cognitive analysis: FORMALEX
• formalization of psychological theories: FORMAPSY
• computational psychology and psychiatry: AUTOPSY
• The Cognitive Analysis of Emotions is a cognitive appraisal theory that explores emotions with their corresponding behavioral, physiological, and cognitive components in guided narratives.

• natural language processing for emotion analysis
• psychological theories of emotion
• model-checking
• Formal methods for machine learning-based systems

Directions de thèse depuis 2022

• Gustave Cortal depuis octobre 2022
• Gaspard Fougea depuis octobre 2023
• Emmanuel Tintanet depuis janvier 2023
• Nicolas Richet depuis février 2025

Publications récentes en sciences cognitives

• Alain Finkel, Gaspard Fougea, Stéphane Le Roux. An Automata-Based Method to Formalize Psychological Theories -- The Case Study of Lazarus and Folkman's Stress Theory. 13th International Conference on Model-Based Software and Systems Engineering (Modelsward) 26-28 Feb. 2025.
• Nicolas Richet, Soufiane Belharbi, Haseeb Aslam, Meike Emilie Schadt, Manuela González-González, Gustave Cortal, Alessandro Lameiras Koerich, Marco Pedersoli, Alain Finkel, Simon Bacon, Eric Granger: Textualized and Feature-based Models for Compound Multimodal Emotion Recognition in the Wild. CoRR abs/2407.12927 (2024)
• Gustave Cortal, Alain Finkel, Patrick Paroubek, Lina Ye. May 2023. Emotion Recognition based on Psychological Components in Guided Narratives for Emotion Regulation. In Proceedings of the 7th Joint SIGHUM Workshop on Computational Linguistics for Cultural Heritage, Social Sciences, Humanities and Literature, pages 72–81, Dubrovnik, Croatia. Association for Computational Linguistics. slides. video. 43.75% acceptance rate.
• Gustave Cortal, Alain Finkel, Patrick Paroubek, Lina Ye. Sep 2022. Natural Language Processing for Cognitive Analysis of Emotions. Semantics, Memory, and Emotion, Paris, France. slides.
• Gustave Cortal, Alain Finkel, Patrick Paroubek, Lina Ye: Détection de l'émotion à partir de ses composantes à l'aide d'un corpus de récits émotionnels. EGC 2023: 665-666 [c67]
• Gustave Cortal, Alain Finkel, Patrick Paroubek, Lina Ye: Emotion Recognition based on Psychological Components in Guided Narratives for Emotion Regulation. CoRR abs/2305.10446 (2023) [i20]

Posters

• Gustave Cortal, Alain Finkel, Patrick Paroubek, Lina Ye. Jul 2023. Automatisation du codage des récits de rêve : une approche basée sur la génération de paraphrases. Affects, Compagnons Artificiels et Interactions, Strasbourg, France.
• Gustave Cortal, Alain Finkel, Patrick Paroubek, Lina Ye. Jan 2023. Détection de l'émotion à partir de ses composantes dans des récits émotionnels. Extraction et Gestion des Connaissances, Lyon, France.
• Gustave Cortal, Alain Finkel, Patrick Paroubek, Lina Ye. Sep 2022. Natural Language Processing for Cognitive Analysis of Emotions. Meeting of the European Mathematical Psychology Group, Rovereto, Italy.

Publications récentes sur le model-checking, automates et logique

• Michael Blondin, Alain Finkel, Piotr Hofman, Filip Mazowiecki, Philip Offtermatt: Soundness of reset workflow nets. LICS 2024: 13:1-13:14 3662086
• Alain Finkel, Mathieu Hilaire: Resilience and Home-Space for WSTS. VMCAI (1) 2024: 147-168 1007/978-3-031-50524-9_7
• Alain Finkel, Étienne Lozes: Synchronizability of Communicating Finite State Machines is not Decidable. Log. Methods Comput. Sci. 19(4) (2023) [j45]
• Igor Khmelnitsky, Daniel Neider, Rajarshi Roy, Xuan Xie, Benoît Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Martin Leucker, Lina Ye: Analysis of recurrent neural networks via property-directed verification of surrogate models. Int. J. Softw. Tools Technol. Transf. 25(3): 341-354 (2023) [c69]
• Alain Finkel, Serge Haddad, Lina Ye: About Decisiveness of Dynamic Probabilistic Models. CONCUR 2023: 14:1-14:17 [c68]
• Alain Finkel, Shankara Narayanan Krishna, Khushraj Madnani, Rupak Majumdar, Georg Zetzsche: Counter Machines with Infrequent Reversals. FSTTCS 2023: 42:1-42:17 [c66]
• Alain Finkel, Serge Haddad, Lina Ye: Introducing Divergence for Infinite Probabilistic Models. RP 2023: 127-140 [i21]
• Alain Finkel, Serge Haddad, Lina Ye: About Decisiveness of Dynamic Probabilistic Models. CoRR abs/2305.19564 (2023) [i19]
• Alain Finkel, Serge Haddad, Lina Ye: Introducing Divergence for Infinite Probabilistic Models. CoRR abs/2308.08842 (2023)

Supervision d'étudiants depuis 2023

Marieme Asselman Tafristan (M2): Automating Cognitive Behavioral Therapy Modules. Co-encadré avec Patrick Paroubek. Mars-aout 2025.

Raphaël Faure (M2, CentraleSupelec, MVA): formalization of subjective experience, April-september 2025.

Nicolas Richet (M2, National School of Computer Science for Industry and Business). Multimodal Emotion Analysis (co-supervised with with Gustave Cortal and Eric Granger and Muhammad Haseeb Aslam). March - Jul 2024.

Tomas Ramirez (CentraleSupélec): Formalisation des théories de la mémoire humaine. Parcours recherche de L3 à M2.

Utkarsh Pant (2nd year Bachelor, Bombay Indian Institute of Technology). Natural Language Processing and Formal Methods (co-supervised with Gustave Cortal). May - Jul 2024.

Racha Hachem (M1, Paris-Saclay University). Imageability Prediction in Emotional Narratives (co-supervised with Gustave Cortal). May - Sep 2023.

Projet ACTER

Ce projet vise à former des enseignants volontaires aux bases de l’analyse cognitive des émotions afin qu'ils accompagnent des groupes d’étudiants à l’utilisation de la grille d’analyse des émotions pour améliorer leurs traitements de situations d’apprentissage problématiques (2021-2025)