💠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
2019-2022.
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