张广泉，男，教授，硕导，学历：研究生，学位：博士，最后学位所学专业：计算机软件与理论
研究方向：
软件工程与形式化方法
研究兴趣：
1. 可信软件理论与方法
2. 软件验证、分析与测试
3. 软件体系结构与协议工程
所授课程：
本科课程：《编译原理》、《软件工程》、《离散数学》、《数据结构》、《计算机导论》等
研究生课程：《形式语言与自动机理论》、《软件体系结构》、《形式化方法》、《软件可靠性》
工作经历：
1983.7毕业于南京师范大学淮阴分院（现淮阴师范学院）数学专业、1988.7毕业于郑州大学计算机软件专业硕士研究生班（导师苏锦祥教授）、1994.9在重庆大学攻读计算机软件与理论专业博士学位研究生（导师沈一栋教授）、1999.9赴中国科学院软件研究所计算机科学国家重点实验室做博士后（合作导师唐稚松院士）、1988年9月到重庆师范大学工作至今。1996年任副教授、2002年任教授、1999年起任硕士研究生指导教师。
先后被评为四川省第二批优秀青年骨干教师（1995年）、重庆市首批优秀中青年骨干教师资助计划人选（2002年）、重庆市“322重点人才工程”第二层次人才、重庆市学术技术带头人、重庆市高级职称评审委员会信息技术学科组成员、重庆市运筹学会理事、中国计算机学会（CCF）高级会员。
科研情况：
作为主研人员、承担和完成国家级科研项目6项；作为负责人、主持完成省厅级科研项目8项；在重要国际会议、国际学术期刊和国内重要核心学术期刊发表论文60余篇、在大学学报发表论文50多篇（论文多次获奖）。合编教材5部，参编著作获第11届全国优秀科技图书一等奖和第六届国家图书奖。担任《计算机学报（JCST）》、《软件学报》、《计算机研究与发展》、《计算机应用》等期刊审稿专家、《重庆师范大学学报（自然科学版）》编委。
联系方式：
zgqxyz@sina.com