PASTIS research group
Présentation en français :
À l'Université Paris 8, le groupe de recherche PASTIS du LIASD rassemble des enseignant·es-chercheur·es et des doctorant·es en informatique. Notre groupe s'inscrit dans une dynamique de modélisation et de compréhension des activités cognitives humaines en interaction avec l'informatique. Notre démarche donne une part importante à la pratique de la programmation, typiquement au travers de simulations et de mises en œuvres d'outils concrets et utilisables.
Les membres de PASTIS mettent en œuvre cette approche commune dans différents domaines de l'informatique : nous traitons de synthèse d'images expressives, de résolution de jeux, de représentation du raisonnement, d'apprentissage automatique, d'analyse de textes, du contrôle pour la privacy, et de compréhension de programmes.
Le nom “PASTIS” est d'ailleurs un acronyme qui reflète la diversité des domaines de l'informatique dans lesquels les membres de notre groupe travaillent : Programming, Artificial intelligence, Security, Texts, Images, Simulations.
Presentation in English:
Paris 8 University's PASTIS research group, part of the LIASD, is composed of computer science academics and PhD candidates. Our group focuses on understanding and modeling cognitive human activities dealing with computers. Our approach gives an important role to programming, typically through simulations and implementation of concrete and usable tools.
Members of PASTIS implement this common approach in various fields of computer science: we work on expressive rendering, game solving, knowledge representation and reasoning, machine learning, text analysis, privacy as control, and program comprehension.
The name “PASTIS” is actually an acronym that reflects the diversity of computer science fields in which our team members work: Programming, Artificial intelligence, Security, Texts, Images, Simulations.
People
Faculty members
- Adrien Revault d'Allonnes (MCF)
GdR IA and GdR I3 (GT “fouille de données”) participant. IEEE CIS member (French chapter president), EUSFLAT member.
information evaluation, trust, non-classical logic, machine learning, clustering, formal models, artificial intelligence, fake news.
- Alice Millour (MCF)
GdR LIFT participant, GdR TAL participant, ATALA member.
natural langage processing, corpus and dataset construction, crowdsourcing, less-resourced languages.
- Anna Pappa (MCF)
GdR IA participant.
artificial intelligence, natural langage processing, corpus and dataset construction, parsers, machine learning, chatbots.
- Benjamin Dupont (PRAG, associated member)
Algebraic rewriting seminar.
algebraic rewriting, categorification, representation theory.
- Farès Belhadj (MCF)
GdR IG-RV participant.
expressive rendering, real-time rendering, GPU-based algorithm, abstraction and stylization, surface modeling, fractals.
- Françoise Balmas (MCF-HDR)
software quality, program analysis and understanding, programming styles and paradigms.
- Jean-Jacques Bourdin (PR)
GdR IG-RV participant. Eurographics Education Board member.
image synthesis, expressive rendering, virtual painting, teaching of/with computer graphics.
- Nicolas Jouandeau (PR) — head of the research group
GdR IA (GT Jeux) participant. ICGA member.
computer games, artificial intelligence, tree search, machine learning.
- Pablo Rauzy (MCF)
Géode. GdR Sécurité (GT PVP, GT MFS) member. GdR CIS.
security, privacy, formal models, control, usability.
- Revekka Kyriakoglou (MCF)
GdR IA, GdR IM, GdR LIFT.
symbolic dynamics, combinatorics on words, formal languages, natural language processing.
- Vincent Boyer (MCF-HDR — currently on leave)
expressive rendering, real-time rendering, GPU-based algorithm, abstraction and stylization.
PhD students
- Jean-Pascal Palus (2021–)
“Dynamique et évolution de la confiance : explication et formalisation de la mésinformation”.
Advisors: Adrien Revault d'Allonnes, Nicolas Jouandeau.
- Maroua Boudabous (2019–)
“Modélisation d'un système intelligent d'analyse prédictive des données textuelles massives pour l'aide à la décision”.
Advisors: Anna Pappa, Françoise Balmas.
- Stephen Obonyo (2021–)
“Bioinformatic Computation With Active Learning”.
Advirsors: Dickson Owuor (Strathmore), Nicolas Jouandeau.
Postdocs and ATERs
- Hanane Zerdoum (ATER 2021–2023)
- Oumaima El Joubari (ATER 2021–2023)
- Sylvain Chichery (postdoc 05/2022–04/2023)
“Modélisation du respect de la vie privée dans des raisonnements éthiques formels”, ReComp project, with Pablo Rauzy.
Former members
- 2022 : Sylvia Chalençon (MCF), Emna Chebbi (ATER 2021–2022), Syrine Saidi (ATER 2021–2022), Chaima Ben Salem (intern), Emil Raducanu (intern), Jilin He (intern), Mouna Benabid (intern).
- 2021 : Patrick Gikunda (PhD student 2018–2021), Rahima Zaouche (ATER 2020–2021), Rémi Nollet (ATER 2020–2021), Sarah Zouinina (ATER 2020–2021).
Projects
Ongoing projects
Past projects
- Deep Learning To Identify Fall Armyworm Pest, PHC PAMOJA 2019–2021, Université Paris 8, University of Nairobi, KALRO - Kenya (contact Nicolas Jouandeau).
News
L'objectif de ce stage est d'utiliser le cadre formel Capacity pour modéliser, étudier, et caractériser le contrôle sur les données personnelles offert par le système de transaction GNU Taler. Il faudra pour cela mettre en œuvre une installation complète de GNU Taler (bureau de change, marchand, portefeuille client), modéliser ce système formellement avec Capacity, puis instrumentaliser les implémentations des logiciels de l'installation pour les faire générer des traces d'évènements concrets qui seront utilisable pour caractériser le niveau de contrôle effectivement offert par GNU Taler à ses utilisateur·ices à l'aide de l'implémentation de Capacity en cours de développement dans le projet ReComp en collaboration avec l'équipe ACASA du LIP6.
Le stage se déroulera dans l'équipe PASTIS du LIASD à l'Université Paris 8 (Saint-Denis, 93). Le stage peut commencer entre janvier et avril 2023 et durera 5 ou 6 mois. Un bureau sera mis à disposition du ou de la stagiaire et un ordinateur portable sera fourni pour la durée du stage, si besoin. La rémunération correspond à la gratification de stage en vigueur (3,90€/heure soit ~600€/mois).
Le ou la candidat·e idéal·e est étudiant·e en M1 ou M2 informatique (ou équivalent), a des appétences pour la formalisation et l'abstraction, ainsi que des compétences en programmation et en administration système. Seront également appréciés des connaissances et intérêts personnels pour les libertés numériques et la privacy.
Candidatures : à envoyer à Pablo Rauzy <pr at up8.edu> avec un CV et une lettre de motivation.
Plus d'information (PDF) : Étude du contrôle sur les données personnelles dans GNU Taler à l'aide de Capacity.
Le projet MetaMoi propose d’étudier et de concevoir un nouveau modèle d’interactions au travers d’un avatar de soi. Dans le domaine des applications informatiques, l’avatar était, par le passé, un assistant pour de l’initiation, de l’aide à la pratique, du dépannage ou encore des astuces d’utilisation. Dans le domaine des jeux vidéos, les avatars sont devenus des représentations des joueurs dans des méta-univers. Avec les réseaux sociaux, les médias, la communication, les jeux vidéos et les mondes virtuels connectés, les avatars vont devenir des représentations de nous même, pilotés par chacun ou pouvant agir et interagir en notre nom, à notre place, comme nous le ferions ou selon un modèle de comportement choisi. Il s’agit donc de définir comment nous représenter, comment représenter nos expressions, comment permettre aux programmes d’apprendre à réagir comme nous le ferions.
Les objectifs visés par ce projet abordent donc de multiples problématiques pour lesquels la recherche et l’élaboration de nouveaux modèles seront nécessaires. Chaque partie produira ainsi ses propres résultats et publications scientifiques en lien direct avec le domaine sous-jacent. L’agrégation totale ou partielle de ces parties permettra de produire des résultats scientifiques en lien avec d’autres domaines comme la santé, l’éducation ou la psychologie.
