logo epfl
Ecole Polytechnique Fédérale de Lausanne
français | english
 EPFL > people@EPFL > Tatjana Petrov login

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


©2004-2009 Tatjana Petrov - EPFL, 1015 Lausanne - last updated : 2009-11-13 13:38:34
The owner of this page is fully responsible for its contents