soutance HDR‏ - Cédric Lhoussaine

Bonjour,

veuillez trouver ci-dessous l'annonce (un peu tardive...) de ma
soutenance d'habilitation à laquelle vous êtes bien sûr invités si vous
êtes de passage à Lille.

Cordialement,

--
Cedric Lhoussaine
http://www.lifl.fr/~lhoussai


Date : Vendredi 13 décembre à 14h00
Lieu : Salle du conseil - LIFL - Bâtiment M3 extension
Université Lille 1

Jury:
Garant de l'habilitation :Joachim Niehren
Rapporteurs : Vincent Danos, Olivier Danvy et François Fages
Membres :Vincent Danos, Olivier Danvy, François Fages, Joachim Niehren,
Hélène Touzet

Titre:
"Approches de la modélisation en biologie par langages de programmation
concurrente"

Résumé:
Dans ce mémoire sont présentés les principaux travaux que j'ai réalisés
depuis la fin de ma thèse. Ceux-ci portent sur le développement, par des
méthodes formelles, de langages de programmation concurrente dédiée à la
modélisation en biologie. En particulier, ce sont le traitement des
aspects stochastiques et la représentation de la structure spatiale de
l'environnement biologique qui sont principalement abordés.
Des extensions du pi-calcul stochastique ont d'abord été proposés pour,
non seulement améliorer la convivialité du langage dans la pratique de
modélisation, mais aussi pour exprimer de façon uniforme les notions de
compartiments cellulaires et de phénomènes de diffusions
moléculaires. Ces concepts ont ensuite été utilisés pour concevoir le
nouveau langage à base de règles React(C). Plus proche de l'intuition
biologique, React(C) nous a permis de réconcilier l'expressivité des
approches par agent à la pi-calcul et les approches inspirées des
réactions chimiques. Deux cas d'étude de modélisation biologique ont en
particulier émaillé et inspiré ces travaux: la modélisation de
l'atténuation de la transcription de l'opéron tryptophane, et celle de
l'effet de communauté.