Tatjana Petrov

Quick Links

Short CV

Coordinates

Address
IST Austria
Am Campus 1
A-3400 Klosterneuburg
Austria

E-Mail
tatjana.petrov@ist.ac.at

Phone
+43 2243 9000 2070

About Me

(update: Tatjana moved to University of Konstanz in November 2017.)

Since October 2013, I am a postdoctoral researcher at the Institute of Science and Technology Austria (IST Austria), hosted by the group of Tom Henzinger and the group of Calin Guet.

I received my PhD from ETHZ in 2013. See also my previous web-page.

Research Interests

Formal verification, model checking, mathematical modelling; Systems and synthetic biology.

Publications

Events

  • Schloss Dagstuhl, seminar Quantitative Models: Expressiveness, Analysis, and New Applications, 19th-24th January 2014