Doctoral Assistant |
|
Models and Theory of Computation Laboratory
|
|
Student |
|
Doctoral Program in Computer & Communication Sciences
|
|
Doctoral Assistant |
|
Laboratory of Biological Network Characterization
|
|
|
Tatjana Petrov
|
|
Models and Theory of Computation Laboratory
|
PhD student
|
office(s):
BC212
BM2131
phone(s): [+41 21 69] 31291,37886
|
|
|
BIOGRAPHY
|
Tatjana received a Diploma degree in Computer Science from Faculty of Sciences, Department for Mathematics and Informatics, University of Novi Sad in September 2006, and a M.Sc. degree in Computer Science from the same Department (September 2007).
Tatjana was enrolled in the Doctoral Program in Computer and Communication Sciences in October 2007. Since April 2008, she is affiliated to the Models and Theory of Computation Laboratory, working under the supervision of Thomas A. Henzinger. Starting from October 2009, Tatjana is involved within the SystemsX project, and is supervised by Heinz Koeppl and Sebastian Maerkl.
In the period 2004-2007, she worked as the Head of the Group of Mathematics and as the associate teacher in the Petnica Science Center.
|
|
MISSION
|
My diploma work was on random graphs, and master work in theoretical computer science. In the first year of my PhD, I worked in formal verification, in particular on interface theories and embedded system design. My PhD project is on modeling signaling pathways in cells in a rule-based manner (Kappa). I am interested in developing formal frameworks for different computational semantics of rule-based specifications: the stochastic semantics mainly, but as well the statical analysis and the traditional differential semantics. The case study of particular interest is the osmotic stress pathway in budding yeast.
|
|
Professional Course
|
Teaching Assistant, Theoretical Computer Science, Models and Theory of Computation, EPFL, Spring 2010
Teaching Assistant, Theoretical Computer Science, Models and Theory of Computation, EPFL, Spring 2009
Teaching Assistant, Programmation en C, Laboratoire de bases de données, EPFL, Fall 2008
|
|
MAIN PUBLICATIONS
|
Stochastic fragments: A framework for the exact reduction of the stochastic semantics of rule-based models, Jerome Feret, Heinz Koeppl, Tatjana Petrov, Submitted to: International Journal of Software and Informatics
Interface theories with component reuse, Laurent Doyen, Thomas A. Henzinger, Barbara Jobstmann, Tatjana Petrov, ACM, New York, NY, USA
|
|
EVENTS
|
Friedrich-Schiller-University Jena, visit to the Bio Systems Analysis Group of Peter Dittrich, Institute of Computer Science, 16th-19th February 2010
[past]
IST Vienna, research stay with the group of Tom Henzinger, 7th-15th January 2010
Paris Interdisciplinary PhD Symposium, Paris, 6th-10th December 09
AllSystemsX Day, Bern, 18th November 09
SystemsX Retreat Day, Weggis, September 09
CMSB 09, Bologna, August-September 09
CAV 09, Grenoble, July 09
The University of Edinburgh, School of Informatics, research stay with the group of Vincent Danos, 4th-20th April 09
(EMSOFT 08, November 08, not able to present the paper because of visa issues)
Oxford University, Computing Laboratory, research stay with the group of Daniel Kroening, 1st-31st July 08
COMBEST Plenary Meeting, Autrans, September 08
COMBEST Kick-Off meeting, Paris, April 08
|
|
