profile image

Lénaïg Cornanguer

PhD in Computer Science - Artificial Intelligence

CISPA Helmholtz Center for Information Security

Last update: 23/04/2024

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

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...)