I am a research assistant in the Institute of Computer Science, Polish Academy of Sciences.
My recent research deals mostly with individuating intended mathematical structures via complexity theory (primitively recursively acceptable notations), computable structure theory (simplest model property—a notion that I proposed in 2023) and learnability (online learning).