short CV

PUBLICATIONS

TALKS

STUDENTS

TEACHING

USEFUL LINKS

RESEARCH INTERESTS

• Logic, Automata and Games
• Imperfect Information
  
• Knowledge, Uncertainty
• Synthesis problems
• Strategic reasoning
• Formal methods for security
• Diagnosis and Control Theory

TEACHING TOPICS

• Logic
• Automata    
• Algorithmics
• Model checking

HEADLINES

FORTHCOMING EVENTS

ACTIVITIES

• Each year, I am involved in many PC boards: IJCAI, AAMAS, AAAI, AiML, ICALP, LICS, CSL, LAMAS&SR, TIME (see here)
• Each year, I am involved in many national events to promote computer science and AI.
• Each year, I am involved in many PhD and HDR committees in theoretical computer science and AI.

MEMBERSHIP-ACTIVTIES

• European Association for Theoretical Computer Science (EATCS)
• Theme Leader on Algorithms and Complexity in Computer Science for SCIENCES(ISTE Group)
• Société Informatique de France
• Administrative Council of ISTIC

PERMANENT EVENTS/LINKS

• 68NQRT seminar of IRISA/INRIA
• The International Federation for Computational Logic
• GDR 2932 Théorie des jeux
• Courses on game theory in France
• GDR Informatique Mathématique
• GDR IA
• GDR Sécurité Informatique, GT Méthodes formelles pour la sécurité
• GT Data, Automata, Algebra, & Logic (DAAL)
• The Mathematics Genealogy Project
• Games Automata Play
• Mathematic Park
• Égalité Femmes-Hommes
• L codent L créent and Médiation. J’peux pas j’ai informatique (scolaires 5ème)

PROJECTS and SOFTWARES

• A tool for formal Attack Tree Synthesis paper "Library-based Attack Tree Synthesis" by S. Lê Cong, S. Pinchinat, F. Schwarzentruber. GraMSec 2020
• ATSyRA Studio A tool for the assisted design of Attack Trees.
• Hintikka's world! A tool for intelligent artificial agents reasoning about higher-order knowledge
• EIT Digital UAV-Retina(2019-2021), future drones for emergency management, and EOLE EYES
• CominLabs-AI-for Education (2019-2020), Exploratory experiments combining Information Systems and Natural Language Processing

HOT TOPICS

• The search engine that respects your privacy
• Feminist Literature for Computer Scientists
• Sensibilisation 2020. Littérature sur l’impact du confinement (partly in French)
• Jancovici : CO2 ou PIB, il faut choisir - Sciences Po - 29/08/2019 (in French)
• Why do ambitious women have flat heads?
• Zero Impunity
• What Can Be Done About Gender Diversity in Computing?: A Lot! by Moshe Vardi
• Global gender disparities in science
• The expertes.eu project