I am a PostDoc at Research Institute for Symbolic Computation at Johannes Kepler University in Linz, Austria, and assistant lecturer at Department of Applied Mathematics at Faculty of Information Technology, Czech Technical University in Prague, Czech Republic.
I did my PhD in Marie Sklodowska-Curie Innovative Training Network ARCADES.
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
New proof of the classification of Bricard’s octahedra
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.