Ekaterina Zhuchko Embedded SVG

💭 About me

Hello, I’m Kat! I am currently a PhD student in the Laboratory for Compositional Systems and Methods at Tallinn University of Technology under the supervision of Hellis Tamm and Paweł Sobociński. My main research interests are in automata theory and formal methods.

Check out my published works.

🎓 Education

Master’s degree @ 🇪🇪 Tallinn University of Technology & University of Tartu.

September 2022-now.
PhD @ 🇪🇪 Tallinn University of Technology.

💌 Contact details

ekaterina [dot] zhuchko [at] taltech [dot] ee