Jana Kuzmanova
Jana Kuzmanova was born in 1994 in Skopje. She completed her primary and secondary education in Skopje, and in 2013 she enrolled in undergraduate studies at the Technical University of Munich. She graduated on July 19, 2017, with her thesis „Efficient Formal Arithmetic in Isabelle/HOL,” under the supervision of Prof. Dr. Tobias Nipkow.
In the 2017/2018 academic year, she enrolled in a master's program at FINKI, in the field of Computer Science.
The candidate's areas of particular interest are machine learning, data mining and its applications in the sciences, high-performance computing, and natural language processing.
