Wei Li#
| Membership Number: | 4729 |
| Membership type: | FOREIGN |
| Section: | INFORMATICS |
| Elected: | 2018 |
| Main Country of Residence: | CHINA |
| Homepage(s): | http://sites.nlsde.buaa.edu.cn/~liwei |
Present and Previous Positions
- 1992, 01 - Present Director, State Key Laboratory of Software Development Environment, China
- 1986, 09 - Present Professor, School of Computer Science and Engineering, Beihang University, China
- 1999, 05 - 1999, 09 Guest Professor, Department of Computer Science, University of Minnesota, USA
- 1990, 10 - 1991, 09 Konrad Zuse Fellow, Department of Computer Science, Universität Saarlandes, Germany
- 1986, 04 - 1987, 08 Senior Research Fellow, Department of Computer Science, Universität Bremen, Germany
- 1984, 01 - 1984, 03 Research Fellow, Department of Computer Science, University of Edinburgh, UK
- 1983, 07 - 1983, 12 Senior Visiting Research Fellow, Department of Computer Science, University of Newcastle Upon Tyne, UK
Fields of Scholarship
- Mathematical logic
- Concurrent programming languages
- Satisfiability problems
- Artificial intelligence
- Software crowdsourcing
- Knowledge engineering
- Big data
Honours and Awards
- 2017 Chinese Government Award for Publishing. State Administration of Radio and Television, China
- 2007 Tsiolkovsky Medal. Russian Cosmonautics Federation, Russia
- 2005 National Prize of First Class for Achievements in Education. Ministry of Education, China
- 2004 National Prize of Second Class on Advances in Science and Technology. State Council, China
- 2002 Prize of First Class for Science and Technology Progress. Ministry of Education, China
- 1998 Ho Leung Ho Lee Prize for Science and Technology Progress. Ho Leung Ho Lee Foundation, Hong Kong
- 1997 Academician, Chinese Academy of Sciences, China
- 1997 Guanghua Prize of First Class for Science and Technology. Guanghua Foundation, Taiwan
- 1996 Prize of Second Class for Progress in Science and Technology. Ministry of Aero-Space Industry, China
- 1995 National Prize of Second Class in Natural Sciences. State Council, China
- 1994 Prize of First Class for Science and Technology Progress. Ministry of Aero-Space Industry, China
- 1990 Prize of First Class for Science and Technology Progress. Ministry of Aero-Space Industry, China
- 1988 Prize of Second Class for Science and Technology Progress. Ministry of Aero-Space Industry, China
- 1988 National Outstanding Scientist Award. State Science and Technology Council, China
