|
|
|
Maria-Emanuela-Canini Mateescu
|
|
Doctoral Program in Computer & Communication Sciences
|
PhD Student
birth date: 29.07.1981
nationality: Romanian
|
office(s):
BC230
phone(s): [+41 21 69] 37589
|
|
|
MISSION
|
|
I am working on probabilistic verification with applications in biology. My current work is in the area of numerical analysis of probabilistic transition systems (Markov Chains). More precisely, we are implementing a tool for solving Markov Chains using a projection method that we call "sliding window". By solving (continuous time) Markov Chains we mean answering the question: "What is the probability distribution over states at time t?". We take an incremental approach where we start with a small time horizon that is iteratively increased. At each point of the iteration our computation only considers the significant parts of the system.
|
|
BIOGRAPHY
|
Maria Mateescu has been a PhD student at Ecole Polytechnique Fédérale de Lausanne (EPFL), Switzerland since 2006. She is affiliated to the Models and Theory of Computation laboratory, working under the supervision of Prof. Thomas A. Henzinger. Her primary research interest is probabilistic model checking and numerical analysis of Markov Chains with applications in biology. Since the beginning of 2008 she is in charge with the I&C Graduate Student Association. Maria Mateescu graduated in 2004 from the Computer Science department of "Politehnica" University of Bucharest. Between 2004 and 2005 she was a Software Engineer at Freescale Semiconductors Romania.
|
|
Education
|
Master, Computer Science, "Politehnica" University of Bucharest, 2004-2005
Bachelor, Computer Science, "Politehnica" University of Bucharest, 1999-2004
|
|
Professional course
|
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
|
|
MAIN PUBLICATIONS
|
|
|
R. Gupta, T. Henzinger, M. Mateescu, and V. Wolf.
Hybrid Numerical Solution of the Chemical Master Equation.
Technical report, 2009.
[ Details |
Full Text ]
|
|
|
T. A. Henzinger, M. Mateescu, and V. Wolf.
Sliding Window Abstraction for Infinite Markov Chains.
Technical report, 2009.
[ Details |
Full Text ]
|
|
|
F. Didier, T. A. Henzinger, M. Mateescu, and V. Wolf.
Approximation of Event Probabilities in Noisy Cellular
Processes.
Technical report, 2009.
[ Details |
Full Text ]
|
|
|
M. Mateescu.
Sliding Windows over Biological Systems.
Pizza Talk, EPFL, September 26, 2008, 2008.
[ Details |
Full Text ]
|
|
|
M. Mateescu.
Solving The Chemical Master Equation Using The Chemical
Master Equation.
2008.
[ Details |
Full Text ]
|
|
|
J. Fisher, T. A. Henzinger, M. Mateescu, and N. Piterman.
Bounded Asynchrony: Concurrency for Modeling Cell-Cell
Interactions.
In J. Fisher, editor, First International Workshop, FMSB
2008, Cambridge, UK, June 4-5, 2008. Proceedings, Lecture Notes in
Computer Science, pages 17-32, Berlin / Heidelberg, 2008. Springer.
[ Details |
Full Text |
Link ]
|
|
|
J. Fisher, T. A. Henzinger, M. Mateescu, and N. Piterman.
Bounded Asynchrony: A Biologically Inspired Notion of
Concurrency.
Technical report, 2007.
[ Details |
Full Text ]
|
|
|
|
Student