郭四稳教授

男，博士，研究员。1985.7 毕业于清华大学工程力学系流体力学专业，获工学学士学位。1991.2 毕业于中国科学院成都分院数理科学研究室流体力学专业，获硕士学位。2001.6 毕业于在四川大学应用数学专业，获理学博士学位。

主要研究领域：计算机自动推理，数字图像处理。

主讲课程：面向对象程序设计，数字图像处理。发表学术论文15篇，主持（参与）科研项目6项，其中包括：

（1）智能教育软件平台研究 2008B070800073, 2008,10—2010,10广东省科技计划软科学项目(主持)

（2）中学教学资源库（数学），2004Z1-D0091，广州市科技局，重大科技攻关项目。2004，6—2006，6，（支持）。

（3）数学机械化与自动推理平台-数学机械化与教育技术，国家973（子课题），2003，3—2005，3，（主要参加者，排名第5）。

（4）初中数学智能题库平台，2003Z3-D0241，广州市科技局，重大科技攻关项目，2003，3—2005，3，（支持）。

（5）中学物理实验平台软件设计模式及实现，2004Z3-D0141，广州市科技局，重点科技攻关项目，2004，5—2005，6，（主要参加者，排名第2）。

（6）景中软件保护&运营系统 2006Z2-D0181，2007.1-2007.12，广州市科技局重点科技攻关项目（排名第2）

曾获中国航空工业总公司科技进步三等奖，获广州大学2008-2009学年教学优秀二等奖。