profile image

Lénaïg Cornanguer

PhD in Computer Science - Artificial Intelligence

CISPA Helmholtz Center for Information Security

Last update: 14/01/2025

About Me

PhD in Computer Science, I am currently a postdoctoral researcher at CISPA in the EDA team, working on causality discovery in time series.
My research mainly focus on exploring observational data, often with a temporal dimension, to extract models of behavior, temporal logic, and causal relationships.

Publications and talks

TADAM: Learning Timed Automata from Noisy Observations

Conference paper

Lénaïg Cornanguer, Pierre-François Gimenez 2025 SDM-25 (rank A conference)

SpaceTime: Causal Discovery from Non-Stationary Time Series

Conference paper

Sarah Mameche, Lénaïg Cornanguer, Urmi Ninad, Jilles Vreeken 2025 AAAI-25 (rank A* conference)

Timed automata learning from observational data

Invited talk

Lénaïg Cornanguer 2024 IRISA PIRAT team seminar

TAG: Learning Timed Automata from Logs

Invited talk

Lénaïg Cornanguer 2023 IRIF Verification seminar

Persistence-Based Discretization for Learning Discrete Event Systems from Time Series

Workshop paper

Lénaïg Cornanguer, Christine Largouët, Laurence Rozé, Alexandre Termier 2023 When Machine Learning meets Dynamical Systems: Theory and Applications (AAAI-23 Workshop)

TAG: Learning Timed Automata from Logs

Invited talk

Lénaïg Cornanguer 2022 Supsec Workshop Fall 2022: AI for supervision

TAG: Learning Timed Automata from Logs

Conference paper

Lénaïg Cornanguer, Christine Largouët, Laurence Rozé, Alexandre Termier 2022 AAAI-22 (rank A* conference)

Passive Learning of Timed Automata from Logs (Student Abstract)

Conference paper

Lénaïg Cornanguer 2021 AAAI-21 (rank A* conference)

Teaching

Artificial Intelligence (M1 Info Ingéniérie Logicielle / M1 Software engineering)

Université de Rennes 1
2021-2023
TD (tutorials)

Oriented-Object Programming (L2 Maths)

Université de Rennes 1
2020-2021
TP (tutorials)

Introduction to programming in Java (L1 Info / L1 Computer Science)

Université de Rennes 1
2020-2022
TD and TP (tutorials)

Database Management System (L2 Ingénieur Agroalimentaire / L2 Food science)

Institut Agro Rennes
2022-2023
CM and TD (lecture & tutorials)

Non-academic work experiences

DBMS trainee - Quescrem, Lugo (SPAIN) 2019 (2 months)

Database creation for production & Access interface creation

Continual improvement trainee - Quescrem, Lugo (SPAIN) 2019 (6 months)

Continual improvement of the production in food industry (reports automatization, performance indicators establishment, procedure redaction...)

Research and Development trainee - Tipiak Épicerie, Saint-Aignan de Grand-Lieu (FRANCE) 2017 (6 months)

R&D in food industry (organization and analysis of sensory tests, formulation, physico-chemical analyzes...)