Since November 2008, I joined the Global COE project "Maths for Industry" of the Maths department of Kyushu university.
My research area lies in between Mathematics and Computer Science.
"Computer algebra" or "Symbolic Computation" aims at studying with algortihms and computers the equations arising in algebraic theories,
like polynomial equations and differential/finite-difference equations.
Particularly I am working around "Polynomial System Solving". Usually,
the Groebner bases are used, but "triangular decomposition" is another promising method, in which I am contributing in term of complexity and comparision with lexicographical Groebner bases.
I also have interests in other topics lying at the frontier of Algebra
anc Computer Science, like cryptography and error-correcting codes,
but also algebraic graph theory. I plan to contribute soon in Algrbaic Graph Theory, with the construction of so-called "expander graphs", that have many important applications.
