![](https://research.redhat.com/wp-content/uploads/2022/05/anna_rechtackova_profile_picture-150x150.jpg)
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.