Petrov, Tatjana

I received a Diploma degree in Computer Science from Faculty of Sciences, Department for Mathematics and Informatics, University of Novi Sad, and a M.Sc. degree in Computer Science from the same Department. Then I enrolled in the Doctoral Program in Computer and Communication Sciences at EPFL in October 2007, where I was a member of the Models and Theory of Computation Laboratory, under the supervision of Tom Henzinger. Since October 2009, I am involved in the SystemsX project, supervised by Heinz Koeppl.

Following the diploma work on random graphs, and master work in theoretical computer science, I started a PhD in the area of formal verification, in particular in interface theories and embedded system design. I got interested in using these theories for better understanding of highly complex signaling pathways in cells. Given the set of biological hypothesis, written as a computer program (for example Kappa), my mission is to develop techniques for automatic reductions of various semantics of such programs.

Student projects

Formal synthetic biology (student: -- )

Validating abstractions of rule-based programs (student: -- )

Abstractions of rule-based models: Which information is still available? (student: Marica Stojanov, summer internship 2011)

Selected publications

• Approximate reductions of rule-based models, Petrov, Tatjana; Koeppl, Heinz; poster presented at SBFM'12
• Model Decomposition and Stochastic Fragments, Petrov, Tatjana; Ganguly, Arnab; Koeppl, Heinz; submitted journal version, 2011
• Stochastic Semantics of Signaling as a Composition of Agent-view Automata, Heinz Koeppl, Tatjana Petrov, The First International Workshop on Static Analysis and Systems Biology (SASB), 2010
• Lumpability Abstractions of Rule-based Systems, Feret, Jerome; Henzinger, Thomas; Koeppl, Heinz; Petrov, Tatjana, MeCBIC 2010, in Electronic Proceedings in Theoretical Computer Science, Elsevier Science, 2010
• Maximal Reduction of ODE Semantics of Rule-based Models: Syntax-Independent Setup, Tatjana Petrov, Heinz Koeppl, 7th International Workshop on Computational Systems Biology, 2010
• Automatic reduction of stochastic rules-based models in a nutshell, Ferdinanda Camporesi, Jérôme Feret, Heinz Koeppl, Tatjana Petrov, in International Conference of Numerical Analysis and Applied Mathematics (ICNAAM 2010), Rhodos, Greece, T.E. Simos (Ed.), numero 1281(2) in American Institute of Physics conference proceedings, pages 1330--1334. © American Institute of Physics, 2010
• Interface theories with component reuse, Laurent Doyen, Thomas A. Henzinger, Barbara Jobstmann, Tatjana Petrov, ACM, New York, NY, USA
• Rational design of robust biomolecular circuits: from specification to parameters, Marc Hafner, Tatjana Petrov, James Lu, Heinz Koeppl, vol. In press, Book title: Design and Analysis of Bio-Molecular Circuits, 2011
• Stochastic fragments: A framework for the exact reduction of the stochastic semantics of rule-based models, Jerome Feret, Heinz Koeppl, Tatjana Petrov, International Journal of Software and Informatics, 2010
• Probability Metrics to Calibrate Stochastic Chemical Kinetics, Koeppl, H ; Setti, G; Pelet, S; Mangia, M; Petrov, T; Peter, M, 2010 IEEE International Symposium on Circuits and Systems Proceedings
• Combining model reductions, Camporesi, Fernanda; Feret, Jerome; Koeppl, Heinz; Petrov, Tatjana, MFPS XXVI