My research is in algebraic combinatorics. Combinatorics is the study of counting and bijective proofs, so an algebraic combinatorialists counts algebraic objects. In particular, I am interested in Schubert polynomials, Schubert varieties, flag manifolds, Kazhdan-Lusztig polynomials, Stanley symmetric functions, Bruhat order, Weyl group and root systems of all types etc. I am a strong advocate of using computers to do math research, in particular for obtaining data for conjectures and computer verified proofs. Recently, I have been interested in problems which are not decidable by any possible algorithm in finite time.