男，中国科学院院士，现任广州大学计算科技研究院名誉院长、广东省数学教育软件工程技术研究中心主任、四川省计算机学会理事长。主要从事可信计算、人工智能、自动推理、智能教育软件等研究，取得诸多国际领先的成果。主持多项国家级项目，其中包括国家973计划课题、863计划课题、国家自然科学基金重点项目以及广东省工程中心建设项目。先后获得国家自然科学二等奖1项、国家科技进步二等奖3项、国家发明二等奖1项、中科院自然科学一等奖1项等重要奖项。