id picture Anne-Gwenn Bosser
Maitre de Conférence section 27 (Lecturer, Computer Science)
Ecole Nationale d'Ingénieurs de Brest (ENIB , European University of Brittany)
Lab-STICC - IHSEV team - CNRS UMR 6285
Location: CERV
logo enib




I like to investigate the application of  tools, models and paradigms from theoretical computer science (and logic, from a Curry-Howard perspective) to new media.

Lately, I have been  investigating the use of Linear Logic as a conceptual model for Computational Narratives, aka a Proof is a Story.

Current Projects

STRATEGIC (2017 - 2020)
Looking for a 2 years post-doc candidate to start around Sept. 2017.


Co-supervising doctoral student Cindy Even (Director of Study: Cédric Buche)

Selected (somewhat) recent writings (pre-prints pdf)

Linear Logic for Non-Linear Storytelling. In Proceedings of the 19th European Conference on Artificial Intelligence (ECAI 2010), Lisbon, Portugal, August 2010. Anne-Gwenn Bosser, Marc Cavazza, Ronan Champagnat.
Structural Analysis of Narratives with the Coq Proof Assistant. In Proceedings of the Second Conference on Interactive Theorem Proving, Nijmegen, The Netherlands, August 2011. Anne-Gwenn Bosser, Pierre Courtieu, Julien Forest, Marc Cavazza.
Linear Logic Programming for Narrative Generation. LPNMR : 427-432. Chris Martens, Anne-Gwenn Bosser, João F. Ferreira, and Marc Cavazza. (extended version)
Generative Story Worlds as Linear Logic ProgramsIntelligent Narrative Technologies 7, 2014, Chris Martens, João F. Ferreira, Anne-Gwenn Bosser, and Marc Cavazza.
Supporting Social Skills Rehabilitation with Virtual Storytelling. In Proceedings of the Twenty-Ninth International Flairs Conference .  (FLAIRS 2016) 2014, Cindy Even, Anne-Gwenn Bosser, João F. Ferreira, Cédric Buche, Florian Stéphan, Marc Cavazza and Christine Lisetti.

In French:

Madame Bovary en Logique Linéaire, with Marc Cavazza.

Previous work:

I used to like to think about how best to build online persistent multi-user games. This was the topic of my PhD thesis which I defended as a member of the PPS lab, Paris 7 - Denis Diderot University (supervised by Emmanuel Chailloux).

This work has been awarded the 1st prize Young Researcher in Games at the Imagina 2005 conference.

Previous Occupations:

In or out of Academia:

Background training:

I have studied Mathematics as an undergrad, then went on to study Logic, both from the Philosophical and Mathematical point of views. I studied programming languages design with Emmanuel Chailloux (type systems for CAML-like languages), then trained as a Software Engineer, in embedded software for Renault SA. My PhD is in Computer Science.


I have three daughters born in 2008, 2011 and 2014 and took parental leaves then.
I am working on a fractional basis since 2008 (currently 50%). It may cause delays of a couple of days in answering e-mails.

If you were looking for me as an academic, you may also be looking for:

Maria-Virginia Aponte
Cédric Buche
Marc Cavazza
Emmanuel Chailloux
Ronan Champagnat
Fred Charles
Pierre Courtieu
João F. Ferreira
Julien Forest
Guillaume Levieux
Jean-Luc Lugrin
Chris Martens
Stéphane Natkin