- (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.
- (USA) Massachusetts Institute of Technology (MIT)
- The Algorithms Group, part of the Theory of Computation (TOC) group in the Computer Science and Artificial Intelligence Laboratory (CSAIL). People and research projects.