Petrov, Tatjana


- Lab relocates to TU Darmstadt, Germany with 01/2014

- Christoph and Jakob Ruess receive the SIB best graduate paper award 2012 for their work published in PNAS (details).

- Team BISON ranked 3rd in the 2012 SBV IMPROVER CHALLENGE Challenge on the prediction of Diagnostic Signatures.

- ETH Life published an article on our recent work.

more News


2013 DREAM 8 Challenges closed!

The three DREAM8 Challenges on Breast Cancer Network Inference, Toxicogenetics and Whole-Cell Parameter Estimation were open for participation from June 10 to September 15, 2013:

Click here to learn more about DREAM 8


Master Thesis at IBM

Contact us to learn more about possible Master Thesis projects at IBM Research.



Published in May 2011 by Springer Verlag.  

Tatjana Petrov

Tatjana Petrov
ETL I 15
Physikstrasse 3
8092 Zurich Zurich

Phone: +41 44
Fax: +41 44 632 1211

I finished my PhD in June 2013 and am now working as a postdoctoral fellow at IST Austria. Visit my new web-page!

I am a PhD student within the SystemsX project since February 2009, supervised by Heinz Koeppl and co-advised by Tom Henzinger. During my exciting PhD life, I spent a semester at Harvard Medical School, under the supervision of Walter Fontana. Previously, I attended the Doctoral Program in Computer and Communication Sciences at EPFL, immediately after graduating with a M.Sc. degree in Computer Science in September 2007, from the Faculty of Sciences, University of Novi Sad.

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

Some Publications

Student projects

Query language for rule-based models, on SiROP (available)

Modeling signaling pathways with Kappa: Some case studies (student: Eirini Arvaniti, fall semester 2012)

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


Wichtiger Hinweis:
Diese Website wird in älteren Versionen von Netscape ohne graphische Elemente dargestellt. Die Funktionalität der Website ist aber trotzdem gewährleistet. Wenn Sie diese Website regelmässig benutzen, empfehlen wir Ihnen, auf Ihrem Computer einen aktuellen Browser zu installieren. Weitere Informationen finden Sie auf
folgender Seite.

Important Note:
The content in this site is accessible to any browser or Internet device, however, some graphics will display correctly only in the newer versions of Netscape. To get the most out of our site we suggest you upgrade to a newer browser.
More information

© 2016 ETH Zurich | Imprint | 18 December 2013