I am an Early Stage Researcher in Marie Sklodowska-Curie Innovative Training Network ARCADES at Research Institute for Symbolic Computation at Johannes Kepler University in Linz, Austria.
Doctoral degree in Engineering Sciences (Computer Mathematics), 2019
Johannes Kepler University Linz
Master's degree in Theoretical Computer Science, 2016
Czech Technical University in Prague
Bachelor's degree in Theoretical Computer Science, 2013
Czech Technical University in Prague
Graphs with infinitely many realizations in the plane satisfying edge length constraints
Finding edge lengths of minimally rigid graphs with many real embeddings.
Parallel Addition algorithms in non-standard numeration systems are constructed by so called Extending Window Method.