Research
Until recently I have worked as an assistant professor at Rutgers University in New Jersey, and before that as a postdoc at UPJV in Amiens. My alma mater is PřF and FI MUNI. I strive to bridge beautiful theory (e.g., mathematics) with useful practice (e.g., cryptology) both in my research and out of it.
My research interests include:
- elliptic curves, algebra, and number theory (elementary, algebraic, and computational)
- applied cryptography - mainly asymmetric one, e.g. isogeny- or multivariate-based,
- cryptanalysis of implementations, primitives and standards,
- utilizing algebraic and lattice methods to attack implementations through side channels,
- proving mathematical theorems in the Lean language (e.g., PNT+).
Currently, I am educating myself in various areas of biology (bioinformatics, genetics, neuroscience, biosecurity).