西北大学前校长郝克刚

西北大学前校长（1991.8~1995.12），博士生导师。

陕西长安人，生于1936年7月，1958年毕业于西北大学数学系并留校。1958年至1961年在中国科学院数学研究所进修数理逻辑。1981年~1984年在美国马里兰大学计算机科学系做访问学者。1986年晋升为教授。1995年被中国科学院软件研究所聘为博士生指导教师（1996年经国务院学位委员会批准为博士学科点）。历任西北大学计算机科学系主任（1984年~1989年）、西北大学副校长（1989年~1991年）、校长。1989年被授予陕西省有突出贡献专家称号，1992年享受政府特殊津贴。

曾兼任国家教委高校计算机科学教学指导委员会及计算机软件教材编审委员会委员、中国计算机学会理事、中国计算机学会理论学组委员、中国计算机学会Petri网学会理事、中国微机学会理事、西安计算机学会理事长、陕西省计算机学会副理事长兼软件专业委员会主任、西安市科协副主席、陕西省决策咨询委员会委员、中国高等教育学会理事、陕西省高等教育学会理事长、中国软件行业协会理事、陕西省软件行业协会副理事长、西安市软件行业协会理事长、西安协同软件股份有限公司董事长、西安协同数码股份有限公司董事长、《计算机学报》、《软件学报》和《纯粹数学与应用数学》编委。