Wesley Fussner

Researcher in logic and algebra

en fr de



About me Research Teaching Contact


Wesley
      I'm a researcher in mathematical, philosophical, and computational logic. I'm especially interested in comparative questions that explore the variability and interactions between different kinds of reasoning, particularly in the context of interpolation, definability, and other metalogical properties. Most of my work is algebraic in nature, and I'm also interested in general algebra and applications of automated reasoning to algebra.

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 (from 9/2021 to 6/2023), 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 (from 1/2019 to 8/2021).

I completed my PhD in November 2018 at the University of Denver, where Prof. Nick Galatos was my advisor. My thesis was entitled Categories of Residuated Lattices.
  


  News


  Past