Viktor Fukala

I was born in Prague in 2001, I also grew up there and spent five years at one of the local primary schools. After I turned eleven, I started studying at the Johannes Kepler Grammar School in Prague. At that time, I had already developed a deep interest in mathematics and I felt the urge to understand how things, especially computers and natural laws, work. Hence, mathematics, physics, and computer science were the subjects that I got into the most in high school. Back then, I also participated in the respective science olympiads and won some medals in the international rounds. Besides those, I am also thankful for other opportunities that let me go abroad, which include the PROMYS Europe program or my exchange trimester at Winchester College in England. Near the end of my time in high school, I enrolled in a few courses at Charles University in Prague, which then helped me choose my university major. I decided to study Computer Science at ETH Zürich, where I have just (as of February 2023) finished my third semester with the support of the Bakala Foundation. During my studies so far, I have been a teaching assistant in a systems programming course for one semester. In the next semester now, I will be working with a research group here at ETH on their verifier Prusti, which is software that verifies programs written in the programming language Rust. Then in the Fall, I will stay at the Massachusetts Institute of Technology for an exchange semester. In my free time, you can sometimes find me in the debate club, baking in the kitchen, or playing soccer, dancing (not well) or cycling in the sports center. In the future, I would like to focus on programming languages, compilers, or related fields in computer science. I would like to continue my studies with a Master's degree; I don't have many plans for the time thereafter.