Update names of course instructors
This merge request updates the names of course instructors in fall 2024 on the course website.
Edited by Vít Starý Novotný
This merge request updates the names of course instructors in fall 2024 on the course website.