Alain Finkel
Professeur de sciences cognitives et d'informatique
Mail: finkel@lmf.cnrs.fr, alain.finkel@ens-paris-saclay.fr
Phone: +33 (0)1 81 87 54 56
Office: 3U58, Bâtiment ENS - Nord
LMF, Bât. ENS Paris-Saclay
4 avenue des Sciences
91190 Gif-sur-Yvette, France
Recherche excellents étudiants pour faire un stage de M1, M2 ou une thèse en informatique.
J'attends vos lettres de motivation et vos CV avec vos résultats sur les 3 dernières années.
- Projet CPN: Continuous Probabilistic Petri nets : specification and analysis
Recherche excellents étudiants pour faire un stage de M1, M2 ou une thèse en psychologie informatique.
J'attends vos lettres de motivation et vos CV avec vos résultats sur les 3 dernières années.
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
Publications récentes en sciences cognitives
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 https://dl.acm.org/doi/10.1145/3661814.3662086
Alain Finkel, Mathieu Hilaire: Resilience and Home-Space for WSTS. VMCAI (1) 2024: 147-168 https://link.springer.com/chapter/10.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
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.
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)