张健
and search heuristics to generate test suites for combinatorial testing, Proc. Int. Computer Software and Applications Conference (COMPSAC), 385-394, 2006.
Z. Xu and J. Zhang, A test data generation tool for unit testing of C Programs, Proc. Int. Conf. on Quality Software (QSIC), 107-116, 2006.
X. Jia and J. Zhang, A powerful technique to eliminate isomorphism in finite model search, Proc. Int. Joint Conf. on Automated Reasoning (IJCAR), 318-331, 2006.
J. Zhang, Computer search for counterexamples to Wilkie's identity, Proc. Int. Conf. on Automated Deduction (CADE), 441-451, 2005.
J. Zhang, Symbolic execution of program paths involving pointer and structure variables, Proc. Int. Conf. on Quality Software (QSIC), 87-92, 2004.
J. Zhang and S.C. Cheung, Automated test case generation for the stress testing of multimedia systems, Softw. Pract. Exper. 32(15): 1411-1435, 2002.
J. Zhang and X. Wang, A constraint solver and its application to path feasibility analysis, Int. J. of Software Engineering and Knowledge Engineering , 11(2): 139-156, 2001.
张健，男，1964年2月生，四川苍溪人，中共党员，日本东京大学博士，博士后，教授，博士生导师。歧坪中学高79级毕业。 1980年9月—1987年7月，四川师范大学读本科，硕士；
1987年7月—1995年3月，四川师范大学任讲师，副教授，教研室主任；
1995年3月—1998年3月，日本东京大学攻读博士学位；
1998年3月—2000年3月，东京大学博士后研究，任日本学术振兴会特别研究员；
2000年3月起，任四川师范大学教授；
2001年6月起，任四川大学博士生导师。
2001年3月—2006年2月，任四川师范大学数学与软件科学学院院长；
2003年9月—2006年2月，兼任四川师范大学校长助理；
2006年2月起，任四川师范大学副校长，党委常委、研究生院院长。（副厅级）
张健教授的学术研究领域是数学物理与偏微分方程。主持了“国家自然科学基金”、“日本文部省科学研究基金”等多个研究项目。在《Communications in Mathematical Physics》（数学物理通讯），《Communications in Partial Differential Equations》（偏微分方程通讯），《Journal of Statistical Physics》（统计物理杂志）等专业刊物上发表了一系列的研究论文，其成果被国际同行多次引用。曾多次在国际学术会议及国内外著名大学作学术报告，并在纽约大学Courant（柯朗）数学研究所、香港城市大学等多个国际数学研究中心作过学术访问。获四川省科技进步奖2项，四川省教学成果奖3项。现为中国数学会理事，四川省数学会副理事长。被评为四川省高校十佳青年教师，四川省有突出贡献专家，四川省优秀留学回国人员，首批省委直接掌握联系的136名高层次人才，四川省学术与技术带头人及国务院政府津贴获得者。
中国科学院研究生院地球科学学院总支书记（正局级）、地学院招生工作领导小组组长 。
职称 教授；博士生导师
专业 地球物理学
科学
研究 1999年被中国科学技术大学研究生院（北京）聘为副教授。主要研究方向为地热、重力、地球动力学和应用地球物理。参加国家自然科学基金、国家科技攻关和科学院重大项目六项。目前主持国家自然科学基金项目二项（2001-2003，2002-2004），国家重点基础发展规划（973）项目子课题一项（2001-2004）。 近几年已在“中国科学”、“科学通报”、“地球物理学报”、“地震学报”、“地质力学学报”等刊物上发表30多篇论文。开设课程：“"现代应用地球物理”、“构造地质与活动构造”。
课程 现代应用地球物理
构造地质与活动构造
兼任 中国科学院博士后联谊会秘书长。
学历 1997年获中国科学技术大学固体地球物理学博士学位。
1998-1999年在科学院地质与地球物理所做博士后研究。
男，1962年出生。1986年毕业于上海外国语大学，获英语/新闻双学士学位。现为上海外国语大学最为年轻的英语教授、博士生导师。研究生部主任。上海外国语大学学术骨干。
1988年赴澳大利亚堪培拉大学进修。
1994年被破格晋升为副教授。
1995年和1999年两次获得上海市高校优秀青年教师称号。
曾赴澳大利亚堪培拉大学新闻传播系主修写作与翻译。
1994年至2000年兼任《上海学生英文报》特约审稿人。
长期致力于新闻翻译、新闻英语文体的教学和研究，并为《中国日报》等英语新闻单位采写过数百篇消息、特写。
在《《中国翻译》、《上海科技翻译》、《外国语》等核心刊物发表论文30余篇；
主要研究方向：
为新闻英语文体、英语新闻业务研究、时文翻译。
开设的课程有:
报刊语言翻译(英语语言文学专业研究生学位课程);
中英文新闻文体比较(新闻学专业研究生学位课程)；
英语新闻业务研究(新闻学专业研究生学位课程)
主要著作:
《新闻英语》(南开大学出版社1993年)；
《新闻英语文体与范文评析》(上海外语教育出版社1994年第一版、2004年第二版)；
《英语报刊阅读
Z. Xu and J. Zhang, A test data generation tool for unit testing of C Programs, Proc. Int. Conf. on Quality Software (QSIC), 107-116, 2006.
X. Jia and J. Zhang, A powerful technique to eliminate isomorphism in finite model search, Proc. Int. Joint Conf. on Automated Reasoning (IJCAR), 318-331, 2006.
J. Zhang, Computer search for counterexamples to Wilkie's identity, Proc. Int. Conf. on Automated Deduction (CADE), 441-451, 2005.
J. Zhang, Symbolic execution of program paths involving pointer and structure variables, Proc. Int. Conf. on Quality Software (QSIC), 87-92, 2004.
J. Zhang and S.C. Cheung, Automated test case generation for the stress testing of multimedia systems, Softw. Pract. Exper. 32(15): 1411-1435, 2002.
J. Zhang and X. Wang, A constraint solver and its application to path feasibility analysis, Int. J. of Software Engineering and Knowledge Engineering , 11(2): 139-156, 2001.
2.四川师范大学教授、博士生导师
张健，男，1964年2月生，四川苍溪人，中共党员，日本东京大学博士，博士后，教授，博士生导师。歧坪中学高79级毕业。 1980年9月—1987年7月，四川师范大学读本科，硕士；
1987年7月—1995年3月，四川师范大学任讲师，副教授，教研室主任；
1995年3月—1998年3月，日本东京大学攻读博士学位；
1998年3月—2000年3月，东京大学博士后研究，任日本学术振兴会特别研究员；
2000年3月起，任四川师范大学教授；
2001年6月起，任四川大学博士生导师。
2001年3月—2006年2月，任四川师范大学数学与软件科学学院院长；
2003年9月—2006年2月，兼任四川师范大学校长助理；
2006年2月起，任四川师范大学副校长，党委常委、研究生院院长。（副厅级）
张健教授的学术研究领域是数学物理与偏微分方程。主持了“国家自然科学基金”、“日本文部省科学研究基金”等多个研究项目。在《Communications in Mathematical Physics》（数学物理通讯），《Communications in Partial Differential Equations》（偏微分方程通讯），《Journal of Statistical Physics》（统计物理杂志）等专业刊物上发表了一系列的研究论文，其成果被国际同行多次引用。曾多次在国际学术会议及国内外著名大学作学术报告，并在纽约大学Courant（柯朗）数学研究所、香港城市大学等多个国际数学研究中心作过学术访问。获四川省科技进步奖2项，四川省教学成果奖3项。现为中国数学会理事，四川省数学会副理事长。被评为四川省高校十佳青年教师，四川省有突出贡献专家，四川省优秀留学回国人员，首批省委直接掌握联系的136名高层次人才，四川省学术与技术带头人及国务院政府津贴获得者。
3.中国科学院地球物理学教授、博士生导师
中国科学院研究生院地球科学学院总支书记（正局级）、地学院招生工作领导小组组长 。
职称 教授；博士生导师
专业 地球物理学
科学
研究 1999年被中国科学技术大学研究生院（北京）聘为副教授。主要研究方向为地热、重力、地球动力学和应用地球物理。参加国家自然科学基金、国家科技攻关和科学院重大项目六项。目前主持国家自然科学基金项目二项（2001-2003，2002-2004），国家重点基础发展规划（973）项目子课题一项（2001-2004）。 近几年已在“中国科学”、“科学通报”、“地球物理学报”、“地震学报”、“地质力学学报”等刊物上发表30多篇论文。开设课程：“"现代应用地球物理”、“构造地质与活动构造”。
课程 现代应用地球物理
构造地质与活动构造
兼任 中国科学院博士后联谊会秘书长。
学历 1997年获中国科学技术大学固体地球物理学博士学位。
1998-1999年在科学院地质与地球物理所做博士后研究。
4.上海外国语大学教授、博士生导师
男，1962年出生。1986年毕业于上海外国语大学，获英语/新闻双学士学位。现为上海外国语大学最为年轻的英语教授、博士生导师。研究生部主任。上海外国语大学学术骨干。
1988年赴澳大利亚堪培拉大学进修。
1994年被破格晋升为副教授。
1995年和1999年两次获得上海市高校优秀青年教师称号。
曾赴澳大利亚堪培拉大学新闻传播系主修写作与翻译。
1994年至2000年兼任《上海学生英文报》特约审稿人。
长期致力于新闻翻译、新闻英语文体的教学和研究，并为《中国日报》等英语新闻单位采写过数百篇消息、特写。
在《《中国翻译》、《上海科技翻译》、《外国语》等核心刊物发表论文30余篇；
主要研究方向：
为新闻英语文体、英语新闻业务研究、时文翻译。
开设的课程有:
报刊语言翻译(英语语言文学专业研究生学位课程);
中英文新闻文体比较(新闻学专业研究生学位课程)；
英语新闻业务研究(新闻学专业研究生学位课程)
主要著作:
《新闻英语》(南开大学出版社1993年)；
《新闻英语文体与范文评析》(上海外语教育出版社1994年第一版、2004年第二版)；
《英语报刊阅读
