Postdoc, Guet Group maria.m...@ist.ac.at Romanian Born 29.07.1981 Personal website

Maria-Emanuela-Canini Mateescu MISSION I am a postdoctoral fellow in Calin Guet's group at IST Austria where I am applying computer science methods to understand biological systems, and especially gene regulatory networks. Starting with January 2012, my work is funded through the SNF, from which I have obtained a grant for prospective researchers. BIOGRAPHY Maria Mateescu has obtained her PhD degree in Computer Science from Ecole Polytechnique Fédérale de Lausanne (EPFL), Switzerland in 2011 with her thesis entitled Propagation Models for Biochemical Reaction Networks. During her PhD she was affiliated to the Models and Theory of Computation laboratory, working under the supervision of Prof. Thomas A. Henzinger. Her primary research interest during this period was numerical analysis of Markov Chains with applications in biology. Before that, Maria graduated in 2004 from the Computer Science department of "Politehnica" University of Bucharest. Between 05/2004 and 09/2005 she was a Software Engineer at Freescale Semiconductors Romania. Full CV here. EDUCATION PhD, Computer Science, Ecole Polytechnique Fédérale de Lausanne, 2006-2011 Master, Computer Science, "Politehnica" University of Bucharest, 2004-2005 Bachelor, Computer Science, "Politehnica" University of Bucharest, 1999-2004 MAIN PUBLICATIONS Propagation Models for Computing Biochemical Reaction Networks Thomas Henzinger, Maria-Emanuela-Canini Mateescu In the Proceedings of the 9th International Conference on Computational Methods in Systems Biology, pages 1-3, Paris, September, 2011. Tail Approximation for the Chemical Master Equation Thomas Henzinger, Maria-Emanuela-Canini Mateescu In the Proceedings of the 8th International Workshop on Computational Systems Biology, Zurich, June, 2011. Hybrid Numerical Solution of the Chemical Master Equation Thomas Henzinger, Maria-Emanuela-Canini Mateescu, Linar Mikeev, and Verena Wolf In the Proceedings of the 8th International Conference on Computational Methods in Systems Biology, pages 55-65, Trento, September, 2010. [detailed record] [BibTeX] [EndNote XML] SABRE: A Tool for Stochastic Analysis of Biochemical Reaction Networks Frederic Didier, Thomas A. Henzinger, Maria Mateescu, and Verena Wolf In the Proceedings of the 7th International Conference on Quantitative Evaluation of SysTems, pages 193-194, Williamsburg, VA, USA, September 15-18, 2010. [detailed record] [BibTeX] [EndNote XML] Approximation of Event Probabilities in Noisy Cellular Processes Frederic Didier, Thomas A. Henzinger, Maria Mateescu, and Verena Wolf In the Proceedings of the 7th International Conference on Computational Methods in Systems Biology, volume 5688, pages 173-188, Bologna, Italy, August 31-Sep 01, 2009. [detailed record] [BibTeX] [EndNote XML] Fast Adaptive Uniformization for the Chemical Master Equation Frederic Didier, Thomas A. Henzinger, Maria Mateescu, and Verena Wolf In the Proceedings of the first International Workshop on High Performance Computational Systems Biology, Trento, Italy , October 14-16, 2009. [detailed record] [BibTeX] [EndNote XML] Solving the chemical master equation using sliding windows Verena Wolf, Rushil Goel, Maria-Emanuela-Canini Mateescu, and Thomas Henzinger In BMC Systems Biology Journal, 2010. [detailed record] [BibTeX] [EndNote XML] Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions Jasmin Fisher, Thomas A. Henzinger, Maria Mateescu, and Nir Piterman In the Proceedings of the First International Workshop on Formal Methods in Systems Biology, Cambridge, UK, June 4-5, 2008. Proceedings, pages 17-32, Cambridge, UK, June 4-5, 2008. [detailed record] [BibTeX] [EndNote XML] TALKS Scientific talks Propagation Models for Biochemical Reaction Networks Public thesis defense, Lausanne, November 4, 2011 Propagation Models for Biochemical Reaction Networks Private thesis defense, Lausanne, May 31, 2011 Tail Approximation for the Chemical Master Equation Workshop on Computations Systems Biology, Zurich, June 6, 2011 Mini-tutorial on Solutions of the Chemical Master Equation q-bio Summer School, Los Alamos, July 26-August 10, 2010 Fast Adaptive Uniformization. Integration with the stochastic hybrid model Verification over discrete-continuous boundaries, Dagstuhl, July 4-9, 2010 Sliding Window Abstraction for Infinite Markov Chains. CAV , Grenoble, June 26-July 2, 2009 Fast Adaptive Uniformization Mini-workshop on Modeling, Simulation and Verification for Biology, November 10, 2009 Sliding Windows over Biological Systems. Pizza Talk, EPFL, September 26, 2008 Other talks Time management for PhD students GSA Out of the box talk, February 18, 2010 PhD Journey , T.I.M.E. Conference, EPFL, May 11, 2009 POSTERS Solving The Chemical Master Equation Using The Chemical Master Equation. FEBS-SysBio2009: The 3rd FEBS Advanced Lecture Course on Systems Biology: From Molecular Biology to Biological Function. Hybrid Numerical Solution of the Chemical Master Equation. q-Bio 2010. PROFESSIONAL COURSE Software Engineer, Internship, Google Zurich, Summer 2011 Teaching Assistant, Theoretical Computer Science, EPFL, Spring 2010 Teaching Assistant, Information Technology Project, EPFL, Fall 2009 Teaching Assistant, Advanced Theoretical Computer Science, Model and Theory of Computation, EPFL, Spring 2009 Teaching Assistant, Algorithms, Laboratory of Theory and Applications of Algorithms, EPFL, Fall 2008 Teaching Assistant, Theoretical Computer Science, Models and Theory of Computation, EPFL, Spring 2008 Teaching Assistant, Theoretical Computer Science III, Models and Theory of Computation, EPFL, Fall 2006 Software Engineer, Embedded C programming, Freescale Bucharest, 2004-2005 Teaching Assistant, Distributed Programming Languages, "Politehnica" University of Bucharest, 2004-2005 Teaching Assistant, Operating Systems, "Politehnica" University of Bucharest, 2003-2004