![]() |
I'm a researcher and educator working at the intersection of logic,
mathematics, and computer science.
Since September 2021, I've been a postdoctoral scholar at the Mathematical Institute of the University of Bern, where I'm a member of Logic Group led by Prof. George Metcalfe. Before coming to Switzerland, I completed my PhD in November 2018 at the University of Denver, where Prof. Nick Galatos was my advisor. From January 2019 to September 2021, I was a postdoc 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. |