Adéla Štěpková

PhD student at Masaryk University in Brno, Czechia.

I’m a PhD student at the Faculty of Informatics, Masaryk University, where I work under the supervision of Jan Strejček and Martin Jonáš in the laboratory AVELAB. The current research focus is software verification. My background includes a Master’s degree in theoretical computer science and research on finite automata. Alongside my research, I enjoy teaching and currently work as a seminar tutor for several theoretical computer science courses.