汪学明,教授,工学博士,博士生导师。男,汉族,1965年1月生,安徽绩溪人。中国致公党贵州省委参政议政专委会委员。全国计算机网络教育研究会理事、中国密码学会高级会员、美国计算机学会(ACM)会员、中国计算机学会会员、贵州省计算机学会常务理事兼副秘书长、贵州省逻辑教学研究会常务副会长、贵州制约逻辑学会常务副理长兼学术委员会主任、贵州省逻辑学会常务理事、贵州省自动化学会会员。计算智能与安全(CIS)国际学术会议程序委员会委员、中国信息安全技术大会学术委员会委员、《信息安全与技术》编委会委员、国家自然科学基金项目评审专家,《计算机科学与工程》审稿专家。汪华文化研究会常务理事、贵州大学安徽同乡会名誉会长。贵州大学校级学科学术带人、计算机信息学院学术委员会委员兼信息安全实验室主任,云南大学软件学院、安徽省安庆师范学院、贵州省毕节学院客座教授。贵州大学计算机软件与理论、通信与信息系统、逻辑学专业硕士研究生导师。安徽绩溪网和新绩溪论坛CEO。安徽绩溪网(www.ahjixi.com)始建于1996年3月,是第一个上网宣传安徽绩溪的公益性网站。网站的服务宗旨是:让世界了解绩溪,让绩溪走向世界。
1987年安庆师范学院本科毕业,获理学学士学位;1990贵州工学院硕士研究生毕业。1990年7月至今在贵州大学(原贵州工业大学)计算机科学与技术学院从事计算机科学和信息安全等专业的教学与科研工作。2002年7月参加贵州工业大学计算机应用专业硕士研究生班课程学习,取得优异成绩。2004年7月参加教育部举办的暑期计算机科学与技术高级研讨班学习,主修《可计算性与计算复杂性》、《密码学及应用》两门重要课程。2008年5月贵州大学计算机学院计算机软件与理论专业博士毕业,获工学博士学位。
主要研究方向:无线与移动网络、密码学与信息安全、协议分析与模型检测、逻辑学及其应用。
主持参加国家自然科学基金项目5项、贵州省自然科学基金项目5项、贵州省教育厅自然基金项目3项、贵阳市科技攻关项目2项、校级项目8项。参加国际学术会议12次(担任Session Chair 6次)、国内学术会议18次,主办“全国性逻辑系统、智能科学与信息科学学术会议”4届。发表论文60余篇 (其中核心16篇、SCI收录1篇、EI收录12篇、ISTP收录8篇)。主编出版《Java语言及应用》、《Java程序设计指导》、《逻辑学及其应用研究》著作3部。招收培养计算机、通信、逻辑学专业硕士研究生30余名。
主要承担《计算机网络与通信》、《信息安全原理与技术》、《面向对象程序设计》、《操作系统》、《人工智能及其应用》、《数理逻辑》、《离散数学》、《逻辑学基础》等课程的教学工作,同时还担任计算机及相关专业的生产实习、课程设计、毕业设计等实践性教学环节的指导工作,指导的毕业设计曾多次获省、校级优秀毕业设计。2003年获校优秀教学成果二等奖,2006年荣获校优秀毕业设计指导特等奖。
近期主持完成的科研项目:
[1] 基于HECC的群体密码系统及其应用研究 国家自然基金[2011]61163049号 国家自然科学基金项目 主持 48.0万
[2] 安全协议的行为时序逻辑验证与具有公平性约束的部分状态空间模型检测 国家自然基金[2011]61163001号 国家自然科学基金项目 参加 36.0万
[3] Ad hoc网络安全多径按需式路由协议改进及其应用研究 贵州省自然基金[2011]2011GZ30581号 贵州省自然科学基金项目 主持 6.0万
[4] 分布式密码系统中的基础协议与公平性研究 国家自然基金[2009]60963023号 国家自然科学基金项目 参加 22.0万
[5] 新型公平多方交换协议设计及其形式化分析研究 贵大人基合字[2008]005号 贵州大学引进人才科研项目 主持 6.0万
[6] 基于SVO逻辑形式化验证方法改进及其应用 黔科J字[2005]2110号 贵州省科技基金 主持2.0万
[7] 基于Internet的远程多媒体教学系统的研究与开发 黔教高发[2000]518号 贵州省教育厅 主持3.0万
[8] 基于J2EE框架结构的电子商务系统开发 2005校企合作 贵州省商贸厅 主持2.0万
[9] 基于椭圆曲线密码体制门限签密研究 黔科J字[2005]2107号 贵州省科技基金项目 参加 1.0万
[10] 流氓软件实时监测防范系统关键技术研究及应用实现 2007贵阳市科技攻关项目 参加 5.0万
E-mail: ie.xmwang@gzu.edu.cn xmwang1965@163.com
|