- Senior Research Fellowship in 2006 at Hong Kong University of Science and Technology
Currently
Dr Lin is currently working on cognitive robotics, answer set programming, computational social choice theory, auction theory, and computer-aided theorem discovery and proofs and their applications in game theory, social choice theory, and software engineering.