My research is in the field of computational algebra and symbolic computation. I am particularly interested in the practical applications of Gröbner bases and quantifier elimination, which have been central topics in this area. Recently, I have been utilizing these techniques to address various challenges in statistical models, such as factor analysis and neural networks.