郝克刚，男，西安市科协副主席。陕西长安人，生于1936年7月。曾兼任国家教委高校计算机科学教学指导委员会及计算机软件教材编审委员会委员、中国计算机学会理事、中国计算机学会理论学组委员、中国计算机学会Petri网学会理事、中国微机学会理事、西安计算机学会理事长。1958年毕业于西北大学数学系并留校。1958年至1961年在中国科学院数学研究所进修数理逻辑。1981年~1984年在美国马里兰大学计算机科学系做访问学者。1986年晋升为教授。1995年被中国科学院软件研究所聘为博士生指导教师(1996年经国务院学位委员会批准为博士学科点)。历任西北大学计算机科学系主任(1984年~1989年)、西北