- 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.
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:
Contact us to learn more about possible Master Thesis projects at IBM Research.
Phone: +41 44
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.
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)
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
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.