An artificial intelligence (AI) expert from the Hong Kong University of Science and Technology has been awarded a Croucher Senior Research Fellowship for his outstanding research, announced the university on Tuesday.

The awardee, Fangzhen Lin is an associate professor of computer science at the university. He received his award certificate, together with six other scholars who have been selected as this year's Croucher Senior Research Fellows, at a ceremony held here Tuesday by the Croucher Foundation.

An expert in AI, Lin is known for his important contributions to the theory and implementation of knowledge representation and reasoning.

Among his many achievements, Lin has developed a methodology for "Computer-Aided Theorem Discovery", which he is applying to find theorems to help analyze and predict computer program behavior. This will assist the design of reliable software, one of the key problems in computer science.

Lin's research achievements has been widely recognized. He received a Distinguished Paper Award at the prestigious International Joint Conference on Artificial Intelligence in 1997.

He also gained the 2000 Best Paper Award at the 7th International Conference on Principles of Knowledge Representation and Reasoning and an Outstanding Paper Award Honorable Mention in 2004 from the American Association for Artificial Intelligence.

The Croucher Senior Research Fellowships were established in 1997 in Hong Kong to recognize research achievements by local scientists. Awardees are released from teaching and administrative duties for a year to concentrate on research.

Source: Xinhua