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 defended my PhD on June 6th 2011 on Temporal Constraint Solving for the Analysis of Biological Systems (thesis, slides) (advisor: François Fages, INRIA Paris-Rocquencourt).
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.
Continuous Valuations of Temporal
Logic Specifications with applications to Parameter Optimization and
Robustness Measures.
Aurélien Rizk, Grégory Batt, François Fages and
Sylvain Soliman.
Theoretical Computer Science 412(26):2827-2839,
June 2011 (pdf)
(doi)
Design, Optimization and Predictions of a Coupled Model of the
Cell Cycle, Circadian Clock, DNA Repair System, Irinotecan Metabolism
and Exposure Control under Temporal Logic Constraints
Elisabetta
de Maria,
François Fages, Aurélien Rizk, Sylvain Soliman.
Theoretical Computer Science 412(21):2108-2127,
May 2011 (pdf)
(doi)
Efficient Synthesis of a Class of Boolean Programs from I-O Data: Application to Genetic Networks.
Ruth Charney, Jacques Cohen and Aurélien Rizk.
Discrete Applied Mathematics 159. 6(2011):410-419, March 2011.
(doi)
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, 25:169-178. 2009. ISMB09/ECCB09 Special Issue. (pdf)
(doi)
On Temporal Logic Constraint Solving for the Analysis of
Numerical Data Time series.
François Fages and Aurélien Rizk.
Theoretical Computer Science. 408(1):55-65, November 2008.
(pdf)
(doi)
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, 5732:319-334, 2009.
(pdf)
(doi)
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, LNCS, 5307:251-268, May 2008. (pdf)
(doi)
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 LNCS 4695:48-63, 2007.
(pdf)
(doi)
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. (http)
Analyzing Biological Data Time Series in Constraint-LTL. François Fages and Aurélien Rizk. Workshop on Constraint-Based Methods for Bioinformatics 2007 (http)