I am an assistant professor at Department of Applied Mathematics at Faculty of Information Technology, Czech Technical University in Prague, Czech Republic.
Previously, I was a PostDoc at Research Institute for Symbolic Computation at Johannes Kepler University in Linz, Austria.
I did my PhD in Marie Sklodowska-Curie Innovative Training Network ARCADES at JKU in Linz.
Doctoral degree in Engineering Sciences (Computer Mathematics), 2019
Johannes Kepler University Linz, RISC
Master's degree in Theoretical Computer Science, 2016
Czech Technical University in Prague, FNSPE
Bachelor's degree in Theoretical Computer Science, 2013
Czech Technical University in Prague, FNSPE
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.