- (China) Academy of Sciences, Beijing
- Mathematics Mechanization Research Centre. Research areas: automated reasoning, computational algebra and geometry, geometric engineering.
- (France) INRIA
- Rocquencourt, Versailles. Algorithms Project. Interests in design and analysis of algorithms, computer algebra, combinatorial analysis and asymptotics.
- (USA) Carnegie Mellon University
- Algorithms and Computational Complexity group. Members, research projects, courses.