• Project Assistant, MSc
• TU Wien
• Institute of Computer Engineering E182
• Treitlstraße 3
• 1040 Wien
• Austria

---

• Room: DE 0314
• Phone: +43 (1) 58801-182-24
• Email: alena.rodionova[at]tuwien.ac.at
• Web: CPS Group, TISS, CV

---

Research Interests

• Formal Analysis and Verification
• Logic and Automata Theory
• Computational Models in Systems Biology

---

Current Position

• I am a PhD student fully funded by the Doctoral College Logical Methods in Computer Science, TU Wien.
• I started my PhD studies in February 2015 under the supervision of Prof. Dr. Radu Grosu and Asst. Prof. Ezio Bartocci. My topic is: "A Specification Language for Emergent Properties" [Research proposal].
• I am also a project assistant in the Cyber-Physical Systems Group.

---

Education

• MSc in Mathematics (Siberian Federal University), master thesis: Stability of Two-Layer Fluid Flows, June 2014. Supervisor: Asst. Prof. Bekezhanova V.
• BSc in Mathematics (Siberian Federal University), bachelor thesis: Solving Constrained Optimization Problems by using Genetic Algorithm, June 2012. Supervisor: Asst. Prof. Panfilov I.

---

Publications

1. A. Rodionova, E. Bartocci, D. Nickovic and R. Grosu, Temporal Logic as Filtering [abstract][paper], in: Proceedings of the 19th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2016, Vienna, Austria, April 12-14, 2016.

---

Awards

• Best Student Paper Award, at the 19th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2016 for the paper A. Rodionova, E. Bartocci, D. Nickovic and R. Grosu, Temporal Logic as Filtering.