郝克刚,男,西安市科协副主席。陕西长安人,生于1936年7月。曾兼任国家教委高校计算机科学教学指导委员会及计算机软件
教材编审委员会委员、中国计算机学会理事、中国计算机学会理论学组委员、中国计算机学会Petri网学会理事、中国微机学会理事、西安计算机学会理事长。
1958年毕业于
西北大学数学系并留校。1958年至1961年在中国科学院数学研究所进修数理逻辑。1981年~1984年在
美国马里兰大学计算机科学系做访问学者。1986年晋升为教授。1995年被中国科学院软件研究所聘为博士生指导教师(1996年经
国务院学位委员会批准为博士学科点)。历任西北大学计算机科学系主任(1984年~1989年)、西北大学副校长(1989年~1991年)、校长。1989年被授予陕西省有突出贡献专家称号,1992年享受
政府特殊津贴。
陕西省计算机学会副理事长兼软件专业委员会主任、西安市科协副主席、陕西省决策咨询委员会委员、中国高等教育学会理事、陕西省高等教育学会理事长、中国软件行业协会理事、陕西省软件行业协会副理事长、西安市软件行业协会理事长、西安协同软件股份有限公司董事长、西安协同数码股份有限公司董事长、《计算机学报》、《软件学报》和《
纯粹数学与应用数学》编委、《微机发展》副主编等职。