My area of interest is Mathematical logic and Foundations. This involves
parts of model theory, set theory, metamathematics, category theory
(especially categorical logic), formal systems and philosophy of
My area of research is computational algebraic geometry, the application
and development of algorithms and software for computations in algebraic
geometry. I am interested in using these methods in e.g. applied algebraic
geometry and toric geometry.
My research area is mainly algebraic geometry and concerns algebraic stacks and their Grothendieck ring, K_0 (Stack). My relevant work was proving that the classifying stack of the Heisenberg group with coefficient in Z/p is non-trivial in K_0 (Stacks).