|
Since I got to
INRIA
Paris-Rocquencourt, I've been mostly working on the following
topics (you can go directly to my
publications list):
-
the design and implementation of the
BIOCHAM software, born during
ARC CPBIO and used for instance for the
modelling of cell-level effects of some cancer
chronotherapies, in the framework of the TEMPO
(Temporal Genomics for Tailored
Chronotherapeutics) STREP;
-
I coordinated
ARC MOCA
in 2006-2007, about questions of
modularity, compositionality and abstraction in
Systems Biology and we continue on this track
through the ANR CALAMAR in which I am leader for
INRIA;
-
the setting up of the STREP (Specific Target REsearch Project)
APRIL II
(Applications of PRobabilistic Inductive Logic programming),
which was accepted by the
6th Framework Programme
(2002-2006)
and uses bio-informatics as its field of work. It helped improve the "learning" part of
BIOCHAM;
-
an implication in the
NoE
REWERSE
(REasonning on the WEb with Rules and SEmantics) accepted by the
6th Framework Programme
and closely related to LCC and BIOCHAM;
-
SiLCC,
a new implementation of an LCC kernel, and over it of a full
CLP
language. This is based on
Rémy Haemmerlé
's implementation work, especially
GNU Prolog-RH
, while keeping in mind semantical considerations;
-
a participation in the RNTL (national network of software
technologies) project
MANIFICO
(non-intrusive meta-compilation of the filtering with
constraints), which meets some of our preoccupations about LCC
(rules and constraints, CHR, etc...) ;
-
I was secretary of the
ERCIM Working Group on Constraints
of which
François Fages
was chairman until 2008. This group brings together researchers
from lots of different countries working in the area of
Constraint Programming.
Since the beginning of 2004 I am also the "responsable permanent"
of the
CONTRAINTES
project-team, which basically means that I second the
group-head for most administrative tasks.
I am a president of Paris-Rocquencourt's
Comité de Suivi Doctoral
(doctoral fellowship agreement comittee), and thus member of the Bureau du Comité des projets. I've been promoted
to "CR1" at the end of 2005.
From September 1st 1996 to August 31st 2003 I was working for the
D.G.A. (something like French DARPA), which gave me a scholarship
during my studies. It allowed me to work "externally" in the
CONTRAINTES
team of INRIA, from September 2002 to my transfer to INRIA, when
I was hired as junior researcher (CR2) on September 1st 2003.
My PhD. was started when I was at
Laboratoire d'Informatique de l'Ecole Normale Superieure
in Paris, continued in
INRIA Rocquencourt
and defended on April 20th 2001 had for title:
Programmation Concurrente par Contraintes et Logique Linéaire
i.e. Concurrent Constraint Programming and Linear Logic. Begun in
October 1997, is was a sequel of my DEA as I was still studying the
Linear Concurrent Constraint (LCC) paradigm, it's links with Linear
Logic, it's own proof techniques, it's problems of balance between
expressivity and semantics, etc...
From February 2001 to September 2002, I was working at
Centre Technique d'Arcueil
, a laboratory from
DGA
, where I studied Natural Language Processing.
I also got the role of Information Systems Security Correspondent
for my department , and was named Project Manager for the future
High Throughput Network for Scientific Computing.
|