Automated reasoning, term rewriting, formal methods, programming languages, algebraic and geometric reasoning, and their applications in computer vision and solid modeling, elimination methods, constraint solving, and distributed, concurrent and real time systems.