|
Doctoral Assistant |
|
Models and Theory of Computation Laboratory
|
|
Student |
|
Doctoral Program in Computer & Communication Sciences
|
|
Doctoral Assistant |
|
Laboratory of Biological Network Characterization (STI/SV)
|
|
|
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 2009
Teaching Assistant, Programmation en C, Laboratoire de bases de données, EPFL, Fall 2008
|
|
MAIN PUBLICATIONS
|
Interface theories with component reuse, Laurent Doyen, Thomas A. Henzinger, Barbara Jobstmann, Tatjana Petrov, ACM, New York, NY, USA
|
|
EVENTS
|
Paris Interdisciplinary PhD Symposium, Paris, 6th-10th December 09
AllSystemsX Day, Bern, 18th November 09
[past]
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
|
|
CONFERENCES OF INTEREST
|
''International Workshop on Computational Models for Cell Processes'' (CompMod 2009), 3/11/2009, ~15th July 2009
3rd Int. Workshop ''From Biology To Concurrency and back'' (FBTC 2010), Cyprus, 27/3/2010, ~1/11/2009
Federated Logic conference (FLoC 2010), Edinburgh, UK, 9-21/7/2010, ~1/1/2010
The Seventeenth International Static Analysis Symposium (SAS 2010), Perpignan, France, 13/09/2010, ~12/3/2010
First Workshop on Static Analysis and Systems Biology (SASB 2010), Perpignan, France, 14-16/9/2010, ~1/6/2010
The 7th Conference on Computational Methods in Systems Biology (CMSB09) , Bologna, Italy, 31/8-1/9/2009
Computer aided verification (CAV 2009), Grenoble, France, 26/6-2/7/2009
|
|
