Anna Řechtáčková is a Master’s student at Faculty of Informatics, Masaryk University. After working on a project in static analysis for formal verification, she moved on to working on a Python linter EduLint designed to help beginning programmers learn better coding style.