![]() |
I'm a researcher and educator working at the intersection of logic,
mathematics, and computer science.
Since July 2023, I've been a researcher at the Institute of Computer Science of the Czech Academy of Sciences, where I'm a member of LogiCS group. Before coming to Prague, I was an advanced postdoctoral fellow at the Mathematical Institute of the University of Bern in the logic group of Prof. George Metcalfe, and a postdoctoral scholar at CNRS and Université Côte d'Azur as part of Prof. Mai Gehrke's European Research Council project Duality in Formal Languages and Logic. I completed my PhD in November 2018 at the University of Denver, where Prof. Nick Galatos was my advisor. |