Experience
Education
Bio
Research themes Artificial intelligence: mainly focused on the constraint satisfaction problem (CSP), a NP-hard problem defined in the AI community in the seventies and more specifically weighted and valued constraint networks, I'm more largely interested in all sorts of graphical models (Bayesian nets, SAT, QBF, MDP, POMDP, Stochastic and mixed CSP, influence diagrams, CP-nets...) Bioinformatics: the application of CSP and other techniques originating from artificial intelligence and operations research to constrained optimisation problems, more specifically in computational biology. Actually, this is mainly genetic markers ordering, genetic map joining, RNA secondary structure prediction and also RNA/protein gene finding and prediction (with frameshift detection) both for prokaryotic and eukaryotic organisms, biological network inference and protein redesign. Publications Guaranteed Discrete Energy Optimization on Large Protein Design Problems. D. Simoncini, D. Allouche, S. de Givry, C. Delmas, S. Barbe, T. Schiex. Jornal of Chemical Theory and Computation. November 2015. DOI: 10.1021/acs.jctc.5b00594. Optimization in Graphical Models. T. Schiex (with colleagues). Invited talk at ICTAI'2015, Vietri sul Mare, Italy. November 2015. Optimization in Graphical Models. T. Schiex (with colleagues). Invited talk at Journ閑s Franciliennes de recherche Op閞ationelle, Paris, France, October 2015. Computational Protein Design as an Optimization Problem. T. Schiex (with colleagues). Invited seminar at INRIA-IRISA (Rennes, France), September 2015. Anytime Hybrid Best-First Search with Tree Decomposition for Weighted CSP. , D. Allouche, S. de Givry, G. Katsirelos, T. Schiex, M. Zytnicki. in Proc. of CP'2015, Cork, Ireland. September 2015. Computational Protein Design as an Optimization Problem. T. Schiex (with colleagues). Invited talk at the "Advances in Bioinformatics and Artificial Intelligence" workshop, Buenos Aires, Argentina, August 2015. Approximate Counting with Deterministic Guarantees for Affinity Computations. C. Viricel, D. Simoncini, D. Allouche, S. de Givry, S. Barbe, T. Schiex. in Proc. of MCP'2015, Metz, France.