I am an assistant professor at Department of Applied Mathematics at Faculty of Information Technology, Czech Technical University in Prague, Czech Republic. Since October 2022, I have been the principal investigator of the project Paradoxical flexibility of frameworks.
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. My supervisor was Josef Schicho.
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
Joint project between RICAM in Linz and FIT, CTU 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.