Maxime Folschette

Maxime Folschette
Personal homepage

I have a PhD in computer science (formal methods & bioinformatics).

Current position:  Postdoc at Univ Rennes, Inria, CNRS, IRISA
Research groups: Dymec & Dyliss,
Research labs: IRSET (Inserm UMR 1085) & IRISA (UMR 6074),
Institution: Université de Rennes 1.
Collaborations:  Nantes, France: Olivier Roux (PhD supervisor), Morgan Magnin (PhD co-supervisor), Emna Ben Abdallah, Tony Ribeiro, Courtney Chancellor.
Orsay, France: Loïc Paulevé.
Sophia Antipolis, France: Jean-Paul Comet, Jonathan Behaegel.
Kassel, Germany: Martin Lange.
Tokyo, Japan: Katsumi Inoue, Sophie Tourret.
Contributions:  Pint, Hybrid Hoare Logic tool.

Contacts

IRISA

IRSET

General information

Research topics

Domain: Computer science / Formal methods / Bioinformatics
Keywords: Formal Methods, Biological Regulatory Networks, Parameters Inference, Static Analysis, Polyadic μ-calculus, Hoare Logic
Models: Thomas Modeling, Process Hitting, Automata Networks, Hybrid Automata

Previous occupations

PhD Thesis

I held my PhD thesis on the 8th of October 2014 in the IRCCyN lab at the École Centrale de Nantes (Nantes, France) on the following subject: Modélisation algébrique de la dynamique multi-échelles des réseaux de régulation biologique (in English: Algebraic Modeling of the Dynamics of Multi-scale Biological Regulatory Networks).

Related documents:

Publications

Book chapter

Journals with full-paper selection

Conferences and workshops with full-paper selection

Other publications

Previous research interest: nuclear fusion

Talks

Posters

Additional Information

Teaching

I co-supervised (50% with Olivier Roux) master student Emna Ben Abdallah on the following subject: Implementation of biological networks analysis tools with logic programming in ASP.

I gave lessons and practicals at the École Centrale de Nantes, at the IUT de Nice and at the Faculté des Sciences de Nantes. I mainly teach:

I also co-supervised (33% to 50%) several projects of 3rd year engineering students (bac+5) in computer science.

Other activities

Former member of the AED, an association for PhD students on the ECN campus.

I participated in a 3-session seminar on Latex intended to PhD and Master students. [ Slides(fr): 1, 2, 3 ]

I presented a 2-session informal seminar on Coq in order to present theorem provers in the scope of NantesFP. [ Slides(fr): 1, 2 ]