应我院计算机系的邀请，西安市科协副主席郝克刚教授将于5月7日来我院进行学术讲座。具体安排如下：
题目: Petri网和pi 演算模型表达能力的研究
时间：5月7日（周四）下午4：30
地点：图书馆二层国际会议中心
郝克刚：西安市科协副主席，曾任西北大学副校长，西北大学教授、博导。生于1936年7月，1958年毕业于西北大学数学系并留校。1958年至1961年在中国科学院数学研究所进修数理逻辑。1981年~1984年在美国马里兰大学计算机科学系做访问学者。1986年晋升为教授。1995年被中国科学院软件研究所聘为博士生指导教师（1996年经国务院学位委员会批准为博士学科点）。历任西北大学计算机科学系主任（1984年~1989年）、西北大学副校长（1989年~1991年）、校长。1989年被授予陕西省有突出贡献专家称号，1992年享受政府特殊津贴。曾兼任国家教委高校计算机科学教学指导委员会及计算机软件教材编审委员会委员、中国计算机学会理事、中国计算机学会理论学组委员、中国计算机学会Petri网学会理事、中国微机学会理事、西安计算机学会理事长、陕西省计算机学会副理事长兼软件专业委员会主任、西安市科协副主席、陕西省决策咨询委员会委员、中国高等教育学会理事、陕西省高等教育学会理事长、中国软件行业协会理事、陕西省软件行业协会副理事长、西安市软件行业协会理事长、西安协同软件股份有限公司董事长、西安协同数码股份有限公司董事长、《计算机学报》、《软件学报》和《纯粹数学与应用数学》编委、《微机发展》副主编等职。
