|
E-Mail :
|
Aurelien.Rizk@inria.fr |
|
Phone :
|
(+33) 1 39 63 52 67 |
|
Mail :
|
BP 105 78153 Le Chesnay Cedex France Bâtiment 8, bureau 30 |
I obtained a Master's degree in Bioinformatics and Biostatistics at Université Paris XI after 2 years of study in computer science at ENS Cachan - Brittany Extension (Detailed CV here). I'm a PhD student (since October 2007) at INRIA Paris-Rocquencourt (advisor: François Fages).
I am a member of the Paris team
which participated in the iGEM 2007
synthetic biology competition and was awarded the
first prize on
foundational research.
From Model-Checking to Temporal Logic Constraint Solving.
François Fages and Aurélien Rizk.
Proc of 15th international Conference on
Principles and Practice of Constraint Programming, CP'09. LNCS,
Sprincger-Verlag. 2009
A general computational method for robustness analysis with applications to synthetic gene networks.
Aurélien Rizk, Grégory Batt, François Fages and
Sylvain Soliman.
Bioinformatics, ISMB09/ECCB09 Special Issue.
On a Continuous Degree of Satisfaction of Temporal Logic Formulae
with Applications to Systems Biology.
Aurélien Rizk, Grégory Batt, François Fages and
Sylvain Soliman. Computational Methods in Systems Biology CMSB'08.
Springer-Verlag. May 2008.
On Temporal Logic Constraint Solving for the Analysis of
Numerical Data Time series.
François Fages and Aurélien Rizk. Theoretical Computer
Science.
2008.
Analyse de Séries Temporelles par Résolution de Contraintes de Logique Temporelle. François Fages and Aurélien Rizk. Actes des troisièmes Journées Francophones de Programmation par Contraintes, JFPC 08.
On the Analysis of Numerical Data Time Series in Temporal Logic.
François Fages
and Aurélien Rizk. Computational Methods in Systems
Biology, CMSB'07 Edinburgh. Springer-Verlag LNBI, 2007.